Automatic verification of sequential infinite-state processes

zbMath1049.68001MaRDI QIDQ1377904

Olaf Burkart

Publication date: 26 January 1998

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingequivalence checkingsequential processes

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication: Automatic verification of sequential infinite-state processes