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

Bibliography

OOA and Petri Nets for System Specification

Daniel Moldt.
OOA and Petri nets for system specification.
In Agha and Cindio , Object-Oriented Programming and Models of Concurrency.
Workshop während der ,,16th International Conference on Application and Theory of Petri Nets``, Turin, Italien, 26.-30. Juni, 1995.


BibTeX



@INPROCEEDINGS{Moldt95,
        AUTHOR             = {Moldt, Daniel},
        BOOKTITLE          = {Object-Oriented Programming and Models of Concurrency},
        EDITOR             = {Agha, G. and Cindio, F.},
        TITLE              = {{OOA} and {Petri} Nets for System Specification},
        YEAR               = 1995,
        anmerkung = {Workshop during the ``16th International Conference on Application and Theory of {Petri} Nets'', Turin, Italy, June 26 --30},
        crossref = {Agha+-e-95}
}

@PROCEEDINGS{Agha+-e-95,
        EDITOR             = {Agha, Gul and Cindio, Fiorella De},
        NOTE               = {Workshop w{\"a}hrend der "`16th International Conference on Application and Theory of {Petri} Nets"', Turin, Italien, 26.--30. Juni, 1995},
        PUBLISHER          = UniTurin,
        TITLE              = {Object-Oriented Programming and Models of Concurrency},
        YEAR               = 1995
}