ISO-690 (author-date, English)

HULST, Marten van, 1995. Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma’s. ISBN 9039310084.

Elsevier - Harvard (with titles)

Hulst, M. van, 1995. Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma’s.

American Psychological Association 7th edition

Hulst, M. van. (ca. 1995). Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma’s [Book].

Springer - Basic (author-date)

Hulst M van (1995) Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma’s

Juristische Zitierweise (Stüber) (Deutsch)

Hulst, Marten van, Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma’s, 1995.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.