 |
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="Bouajjani-Habermehl-Mayr/01" |
|
Automatic verification of recursive procedures with one integer parameter
Ahmed Bouajjani, Peter Habermehl, Richard Mayr
Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mariánské Láznȇ, Czech Republic, August 27-31, 2001)
Lecture Notes in Computer Science
2136
, 2001, pp. 198-211
| Editors | Jiȓí Sgall, Ales̑ Pultr, Petr Kolman | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&id=1GH056KUQ1T15DFX | |
|
|
|
|