Die bibliographische Datenbank LEABib

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

Suche: Booktitle=Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'95 (Bangalore, India, December 18-20, 1995)

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

Determinizing Büchi asynchronous automata

Nils Klarlund, Madhavan Mukund, Milind Sohoni

Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'95 (Bangalore, India, December 18-20, 1995)
Lecture Notes in Computer Science 1026 , 1995, pp. 456-470

Editors P.S. Thiagarajan

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=1026&spage=456

Editors		P.S. Thiagarajan
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=1026&spage=456