Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Systems and Software Verification
Home
Publications
Systems and Software Verification
Systems and Software Verification
BB
Béatrice Bérard
Béatrice Bérard
MB
Michel Bidoit
Michel Bidoit
AF
Alain Finkel
Alain Finkel
FL
François Laroussinie
François Laroussinie
AP
Antoine Petit
Antoine Petit
LP
Laure Petrucci
Laure Petrucci
PS
Philippe Schnoebelen
Philippe Schnoebelen
PM
Pierre McKenzie
Pierre McKenzie
Top Cited Papers
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 2001
book
Published by
Springer Nature
https://doi.org/10.1007/978-3-662-04558-9
Abstract
No abstract available
Keywords
MODEL CHECKING
SPIN
SOFTWARE VERIFICATION
SYSTEM
TEMPORAL LOGICS
TOOLS
TRANSITION SYSTEM
ALGORITHMS
AUTOMATA
COMMUNICATION
DESIGN
FORMAL LANGUAGE
LOGIC
PETRI NET
VERIFICATION
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top