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

• Main Author: Godefroid, Patrice (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1996
• Series: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1032
• Subjects: COMPUTER SOFTWARE; ΕΠΕΑΕΚ
• Item Description: bibliography:pp.133-142
• Physical Description: 142p. fig.
• ISBN: 3 540 60761 7