Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Partial-Order Methods for the Verification of Concurrent Systems
Home
Publications
Partial-Order Methods for the Verification of Concurrent Systems
Partial-Order Methods for the Verification of Concurrent Systems
Editor:
PG
Patrice Godefroid
Patrice Godefroid
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Publisher website
Google Scholar
1 January 1996
book
Published by
Springer Nature
DOI:
10.1007/3-540-60761-7
Abstract
No abstract available
Keywords
MODEL CHECKING
MODELLPRÜFUNG
PARTIAL-ORDER METHODS
PARTIALORDNUNGSMETHODEN
PROGRAM VERIFICATION
PROGRAMMVERIFIKATION
PROTOCOL VERIFICATION
PROTOKOLLVERIFIKATION
VERFICATION ALGORITHMS
VERIFIKATIONSALGORITHMEN
ALGORITHMS
REQUIREMENTS
SETS
VERIFICATION
Cited
Cited by 563 articles
Scroll to top