Verifying temporal properties of systems

Julian Charles Bradfield.
Bok · Engelsk J. C. Bradfield

Utgitt	Birkhäuser Boston
Emner	Automatic theorem proving. Petri nets. Verification (Logic)
Dewey	511.3