Checking for CFFD-Preorder with Tester Processes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46419-0_20 ◽

2000 ◽

pp. 283-298 ◽

Author(s):

Juhana Helovuo ◽

Antti Valmari

Download Full-text