TY - GEN
AU - Godefroid, Patrice
TI - Partial-order methods for the verification of concurrent systems an approach to the state-explosion problem
PB - Springer
SN - 9783540494447
KW - Computer Communication Networks
KW - Logic design
KW - Computer science
KW - Software engineering
KW - Computer systems.
KW - Computer networks .
KW - Computation by Abstract Devices
KW - Computer Science
KW - Logics and Meanings of Programs
KW - Software Engineering
KW - Nebenläufigkeit
KW - Verifikation
KW - Zustandsraum
KW - Halbordnung
PY - 1996
N2 - Literaturverz. S. [133] - 142
BT - Lecture notes in computer science ; 1032
CY - Berlin [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation