MIN-Fakultät
Fachbereich Informatik
Fundamente Teoretici de Informatică

Bibliography

Axiomatic Systems in Concurrency Theory

Olaf Kummer.
Axiomatic Systems in Concurrency Theory.
Logos Verlag, Berlin, 2001.
ISBN 3-89722-597-2.


BibTeX



@BOOK{Kummer01a,
        AUTHOR             = {Kummer, Olaf},
        ADDRESS            = {Berlin},
        NOTE               = {ISBN 3-89722-597-2},
        PUBLISHER          = {Logos Verlag},
        TITLE              = {Axiomatic Systems in Concurrency Theory},
        YEAR               = 2001
}