1
Free choice Petri nets

Cover is for reference only
Main Authors: Desel Jorg
Group Author: Esparza Javier
Published: Cambridge University Press,
Publication Dates: 1995.
Call Number: O233/D451/
Book
Save to List
Saved in:
4
Dependable software systems engineering /

Cover is for reference only
Corporate Authors: NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany)
Group Author: Esparza, Javier (Editor); Grumberg, Orna (Editor); Sickert, Salomon (Editor)
Published: IOS Press,
Publication Dates: [2016]
Call Number: TP309-532/N864-2/2015
Book
Save to List
Saved in:
6
Unfoldings a partial-order approach to model checking

Cover is for reference only
Main Authors: Esparza Javier.
Corporate Authors: SpringerLink (Online service)
Group Author: Heljanko Keijo.
Published: Springer,
Publication Dates: 2008
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —