000			00448nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540469056
100			_aJoseph Sifakis
245		0	_aAutomatic Verification Methods for Finite State Systems
250			_a1990
260			_bSpringer Berlin Heidelberg _c1990
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-52148-8
999			_c27553 _d27553