000			00521nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540461470
100			_aJacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
245		0	_aLinear Time, Branching Time and Partial Order in Logics and Models for Concurrency
250			_a1989
260			_bSpringer Berlin Heidelberg _c1989
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/BFb0013019
999			_c27686 _d27686