KOYMANS, Ronald L., 1992. Specifying Message Passing and Time-Critical Systems with Temporal Logic. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 651. ISBN 9783540475064.
Elsevier - Harvard (with titles)Koymans, R.L., 1992. Specifying Message Passing and Time-Critical Systems with Temporal Logic, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56283-4
American Psychological Association 7th editionKoymans, R. L. (ca. 1992). Specifying Message Passing and Time-Critical Systems with Temporal Logic [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-56283-4
Springer - Basic (author-date)Koymans RL (1992) Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer-Verlag, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Koymans, Ronald L., Specifying Message Passing and Time-Critical Systems with Temporal Logic, Berlin, Heidelberg 1992.