Temporal verification of reactive systems. 2. Safety
Zohar Manna
Bok Engelsk 1995
Utgitt | New York : Springer , c1995
|
---|---|
Omfang | xviii, 512 s.
|
Emner | |
Dewey | |
ISBN | 0387944591
|
Utgitt | New York : Springer , c1995
|
---|---|
Omfang | xviii, 512 s.
|
Emner | |
Dewey | |
ISBN | 0387944591
|