Media type: E-Book; Conference Proceedings Title: Logics for Concurrency : Structure versus Automata Contributor: Moller, Faron [Author]; Birtwistle, Graham [Other] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Published in: Lecture notes in computer science ; 1043 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-60915-6 ISBN: 9783540496755 Identifier: RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SS 4800 : Lecture notes in computer science Keywords: Nebenläufigkeit > Temporale Logik Origination: Footnote: