Siirry suoraan sisältöön
Extending Temporal Logic with Omega-Automata
Tallenna

Extending Temporal Logic with Omega-Automata

Kirjailija:
pokkari, 2010
englanti
Kirjailija
Nir Piterman
ISBN
9783838322063
Kieli
englanti
Paino
141 grammaa
Julkaisupäivä
9.6.2010
Sivumäärä
88