%0 Generic
%T Partial-order methods for the verification of concurrent systems an approach to the state-explosion problem
%A Godefroid, Patrice
%I Springer
%@ 9783540494447
%K Computer Communication Networks
%K Logic design
%K Computer science
%K Software engineering
%K Computer systems.
%K Computer networks .
%K Computation by Abstract Devices
%K Computer Science
%K Logics and Meanings of Programs
%K Software Engineering
%K Nebenläufigkeit
%K Verifikation
%K Zustandsraum
%K Halbordnung
%D 1996
%X Literaturverz. S. [133] - 142
%C Springer
%C Berlin [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation