000			00444nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540390343
100			_aB. T. Hailpern
245		0	_aVerifying Concurrent Processes Using Temporal Logic
250			_a1982
260			_bSpringer Berlin Heidelberg _c1982
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-11205-7
999			_c25777 _d25777