E. Kranakis | K.N. Oikonomou Fixpoint representations of characteristic sets of linear-time temporal formulas (extended abstract)
Gedrukt boek
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek