Person Xiying WengXiying Weng bei Shaker Verification and Validation of Logic Control Algorithms by Model CheckingVerifikation und Validierung von Steuerungsalgorithmen mittels Model CheckingXiying WengShakerSoftcover2003
