 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Blom-Fokkink-Nain/03" |
|
On the axiomatizability of ready traces, ready simulation, and failure traces
Stefan Blom, Wan Fokkink, Sumit Nain
Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)
Lecture Notes in Computer Science
2719
, 2003, pp. 109-118
| Editors | Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&id=350N2KJVHLB0T69Q | |
|
|
|
|