000 00452nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540696780
100 _aOlaf Burkart
245 0 _aAutomatic Verification of Sequential Infinite-State Processes
250 _a1997
260 _bSpringer Berlin Heidelberg
_c1997
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-69678-4
999 _c25882
_d25882