Die bibliographische Datenbank LEABib

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

Suche: Citkey="Castellani-Mukund-Thiagarajan/99"

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

Synthesizing distributed transition systems from global specifications

Ilaria Castellani, Madhavan Mukund, P.S. Thiagarajan

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)
Lecture Notes in Computer Science 1738 , 1999, pp. 219-231

Editors Rangan, C. Pandu, V. Raman, R. Ramanujam

Publisher: Springer-Verlag

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

Editors		Rangan, C. Pandu, V. Raman, R. Ramanujam
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo