Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Delays in synchronized elementary net systems -- Proving temporal properties of Petri nets...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models -- Unifying...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
“... of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct...”