Jump to content

Bibtex:MORV05

From Termination-Portal.org

BibTex

<bibtex> @book{morv05,

 editor = {Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer},
 title = {Processes, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion on His 60th Birthday},
 number = {LNCS3838},
 series = {Festschrift},
 publisher = {Springer--Verlag},
 address = {Berlin Heidelberg},
 year = {2005}

} </bibtex>