Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Author="Pe{\~{n}}a, Marco A."

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Structural methods to improve the symbolic analysis of Petri nets

Enric Pastor, Jordi Cortadella, Marco A. Peña

Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)
Lecture Notes in Computer Science 1639 , 1999, pp. 26-45

Editors Susanna Donatelli, Jetty Kleijn

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo

Editors		Susanna Donatelli, Jetty Kleijn
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo