Automatic verification of sequential infinite-state processes
By: Olaf Burkart.
Series: Lecture notes in computer science -- 1354
Publisher: Springer
Published: 1997
Place of publication: Berlin; London
Language: eng
Number of pages: 163
Subjects: Processes, Infinite; Branch and bound algorithms
Notes: Includes index.

Bibliography: p. 155-159.