Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=832

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

Petri nets and the equivalence problem

Yoram Hirshfeld

Proceedings with Selected Papers of the 7th Workshop on Computer Science Logic, CSL'93 (Swansea, United Kingdom, September 13-17, 1993)
Lecture Notes in Computer Science 832 , 1994, pp. 165-174

Editors Egon Börger, Yuri Gurevich, Karl Meinke

Publisher: Springer-Verlag

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

URL: http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=832&spage=165

Editors		Egon Börger, Yuri Gurevich, Karl Meinke
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest

URL:		http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=832&spage=165