Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Olderog, Ernst-Rüdiger
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
61.
Rössig, Stephan
and
Schenke, Michael
1991.
VDM'91 Formal Software Development Methods.
Vol. 551,
Issue. ,
p.
149.
Best, Eike
Devillers, Raymond
and
Hall, Jon G.
1992.
Advances in Petri Nets 1992.
Vol. 609,
Issue. ,
p.
21.
Hopkins, Richard
Hall, Jon
and
Botti, Oliver
1992.
Advances in Petri Nets 1992.
Vol. 609,
Issue. ,
p.
179.
Murphy, David
and
Pitt, David
1992.
Formal Techniques in Real-Time and Fault-Tolerant Systems.
Vol. 571,
Issue. ,
p.
529.
Mukund, Madhavan
and
Nielsen, Mogens
1992.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 652,
Issue. ,
p.
328.
Autant, C.
and
Schnoebelen, Ph.
1992.
Application and Theory of Petri Nets 1992.
Vol. 616,
Issue. ,
p.
45.
Brown, Carolyn
and
Gurr, Doug
1992.
Application and Theory of Petri Nets 1992.
Vol. 616,
Issue. ,
p.
76.
Olderog, Ernst -Rüdiger
1992.
Automata, Languages and Programming.
Vol. 623,
Issue. ,
p.
641.
Cheng, Allan
Esparza, Javier
and
Palsberg, Jens
1993.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 761,
Issue. ,
p.
326.
Best, Eike
and
Hopkins, Richard P.
1993.
PARLE '93 Parallel Architectures and Languages Europe.
Vol. 694,
Issue. ,
p.
379.
Engelfriet, Joost
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
7.
Best, Eike
Devillers, Raymond
and
Esparza, Javier
1993.
STACS 93.
Vol. 665,
Issue. ,
p.
130.
Olderog, Ernst-Rüdiger
and
Rössig, Stephan
1993.
TAPSOFT'93: Theory and Practice of Software Development.
Vol. 668,
Issue. ,
p.
90.
Brown, Carolyn
and
Gurr, Doug
1993.
Automata, Languages and Programming.
Vol. 700,
Issue. ,
p.
570.
Bowen, J.
Olderog, E.-R.
Franzle, M.
and
Ravin, A.P.
1993.
Developing Correct Systems.
p.
176.
Barbeau, Michel
and
Bochmann, Gregor
1993.
Application and Theory of Petri Nets 1993.
Vol. 691,
Issue. ,
p.
49.
Fiadeiro, J. L.
Costa, J. F.
Sernadas, A.
and
Maibaum, T. S. E.
1993.
Recent Trends in Data Type Specification.
Vol. 655,
Issue. ,
p.
236.
Ben-Asher, Yosi
and
Farchi, Eitan
1994.
Using true concurrency to model execution of parallel programs.
International Journal of Parallel Programming,
Vol. 22,
Issue. 4,
p.
375.
He, Jifeng
Hoare, C. A. R.
FrÄnzle, Martin
Müller-Olm, Markus
Olderog, Ernst-Rüdiger
Schenke, Michael
Hansen, Michael R.
Ravn, Anders P.
and
Rischel, Hans
1994.
Formal Techniques in Real-Time and Fault-Tolerant Systems.
Vol. 863,
Issue. ,
p.
288.