000 00489nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540482345
100 _aDennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
245 0 _aTheoretical and Practical Aspects of SPIN Model Checking
250 _a1999
260 _bSpringer Berlin Heidelberg
_c1999
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-48234-2
999 _c25673
_d25673