%0 Book %1 KrogerFred.2008 %A Kröger,, Fred, %A Merz,, Stephan, %D 2008 %I Springer Publishing Company, Incorporated %K Informatik %T Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

@book{KrogerFred.2008, added-at = {2013-10-18T15:41:17.000+0200}, author = {{Kröger,, Fred} and {Merz,, Stephan}}, biburl = {https://www.bibsonomy.org/bibtex/259a05cd3ffac27dc4c859ca3cf884b77/hlackner}, interhash = {7976241a5c3dedfccdb9ed8edd74e284}, intrahash = {59a05cd3ffac27dc4c859ca3cf884b77}, keywords = {Informatik}, publisher = {Springer Publishing Company, Incorporated}, timestamp = {2013-10-18T15:41:17.000+0200}, title = {Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)}, year = 2008 }