Title: Automatic verification of sequential infinite-state processes
First published: 1997
Subjects: Branch and bound algorithms, Computer software, Infinite Processes, Processes, Infinite, Software engineering, Verification, Computer programming, Congresses, Computer science, Mathematics, Electronic digital computers, programming, Computer science, mathematics
LC classification: QA76.76.V47 B87 1997