ISO-690 (author-date, English)

GOMEZ, F. C., DE FRUTOS ESCRIG, D. und RUIZ, V. V., [no date]. A Sound and Complete Proof System for Probabilistic Processes. In: .

Elsevier - Harvard (with titles)

Gomez, F.C., De Frutos Escrig, D., Ruiz, V.V., o. J. A Sound and Complete Proof System for Probabilistic Processes, in: .

American Psychological Association 7th edition

Gomez, F. C., De Frutos Escrig, D., & Ruiz, V. V. (o. J.). A Sound and Complete Proof System for Probabilistic Processes. 1231.

Springer - Basic (author-date)

Gomez FC, De Frutos Escrig D, Ruiz VV A Sound and Complete Proof System for Probabilistic Processes

Juristische Zitierweise (Stüber) (Deutsch)

Gomez, F. C./ De Frutos Escrig, D./ Ruiz, V. V., A Sound and Complete Proof System for Probabilistic Processes, .

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