Search results for: Jean-François Pradat-Peyre
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2003 > Static Analysis > 168-181
Lecture Notes in Computer Science > Model Checking Software > State Representation and Abstraction > 43-57
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 387-408
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe’ 99 > Formal Methods > 146-157
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 91-104
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 146-165
Lecture Notes in Computer Science
Petri Nets > Fundamental Models > 185 - 220
Petri Nets > Fundamental Models > 221 - 267