大型卧铺客车的型号有以下几种：

K13 ：根据车辆分类代码，大型卧铺客车的代码以“K”开头，其中“K13”表示大型卧铺客车。

PK6129AP ：这是一个具体的大型卧铺客车型号，由安源品牌生产，具有特定的技术参数，如额定质量、整备质量、燃料种类等。

HFF6140WK07D ：这是安凯尊贵系列的一款特大型豪华卧铺客车，具有独特的外观和内部设计。

B10MS和B12MS ：这是沃尔沃客车曾经推出的一款经典卧铺客车，深受好评。

9600系列 ：这是沃尔沃客车在印度市场推出的全新卧铺客车系列，提供不同的长度和配置选择。

这些型号代表了不同品牌和制造商的大型卧铺客车，具有各自独特的技术参数和设计理念。