Umfang:
Online-Ressource
ISBN:
9783540461470
Serie:
Lecture Notes in Computer Science 354
Weitere Ausg.:
ISBN 9783540510802
Weitere Ausg.:
Buchausg. u.d.T. Linear time, branching time and partial order in logics and models for concurrency Berlin : Springer, 1989 ISBN 354051080X
Weitere Ausg.:
ISBN 038751080X
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Nebenläufigkeit
;
Noordwijkerhout
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Rozenberg, Grzegorz 1942-
Bookmarklink