Diagnosability of Pushdown Systems

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_6 ◽

2011 ◽

pp. 21-33 ◽

Cited By ~ 3

Author(s):

Christophe Morvan ◽

Sophie Pinchinat

Download Full-text