Concepts of Automata Construction from LTL

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11591191_50 ◽

2005 ◽

pp. 728-742 ◽

Cited By ~ 8

Author(s):

Carsten Fritz

Download Full-text