Alles van: E. Kranakis | K.N. Oikonomou
Resultaat 1 - 1 (van 1)
E. Kranakis | K.N. Oikonomou Fixpoint representations of characteristic sets of linear-time temporal formulas (extended abstract)
Non-fictie
Engels | 33 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek