Zoekresultaten
Resultaat 1 - 1 (van 1)
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