Search results
- Extending temporal logic with omega-automata : the automata theoretic techniques behing PSL model checking / Nir Piterman. Saarbrücken : LAP LAMBERT Academic Publishing, [2010] ©2010 . iii, 74 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book