00887cam a2200265 a 4500 20260817170925.0 080603s1997 gw r 000|0 eng | 3540639829 .b11698007 QA76.76 V47 B87 Burkart, Olaf Automatic verification of sequential infinite-state proceses Berlin : Springer, 1997 163 p. Lecture notes in computer science ; no. 1354 Computer software Verification Software engineering .b11698007 mngc - 121026 0 980907 m a - 0 mngc 14 Barcode : 30050003867016 CREATED : 1998-07-09 RECORD # : i12092678 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 10244 10244 0 0 0 0 MAIN MAIN mngc 2026-08-17 0 QA76.76 V47 B87 30050003867016 2026-08-17 17:09:26 1 2026-08-17 14