Zoekresultaten
Resultaat 1 - 2 (van 2)
D. Dams Flat fragments of CTL and CTL*
seperating the expressive and distinguishing powers
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1998
Gedrukt boek
D. Dams | O. Grumberg | R. Gerth Abstract interpretation of reactive systems
preservation of CTL*
Non-fictie
Engels | 27 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek