 |
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: Author="de Mol, Maarten" |
|
A proof tool dedicated to clean - The first prototype
Maarten de Mol, Marko van Eekelen
Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE'99 (Kerkrade, The Netherlands, September 1-3, 1999)
Lecture Notes in Computer Science
1779
, 2000, pp. 271-278
| Editors | Manfred Nagl, Andreas Schürr, Manfred Münch | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo | |
|
|
|
|