Gå direkte til innholdet
Extending Temporal Logic with Omega-Automata
Spar

Extending Temporal Logic with Omega-Automata

Forfatter:
pocket, 2010
Engelsk
Forfatter
Nir Piterman
ISBN
9783838322063
Språk
Engelsk
Vekt
141 gram
Utgivelsesdato
9.6.2010
Antall sider
88