Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem

• Κύριος συγγραφέας: Godefroid, Patrice (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1996
• Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1032
• Θέματα: COMPUTER SOFTWARE; ΕΠΕΑΕΚ
• Περιγραφή τεκμηρίου: bibliography:pp.133-142
• Φυσική περιγραφή: 142p. fig.
• ISBN: 3 540 60761 7