@inbook{5da7eaf90b9a4b09aceb73861b3e0892,
title = "Timing the untimed : terminating successfully while being conservative",
author = "J.C.M. Baeten and M.R. Mousavi and M.A. Reniers",
year = "2005",
doi = "10.1007/11601548_15",
language = "English",
isbn = "3-540-30911-X",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "251--279",
editor = "A. Middeldorp and {Oostrom, van}, V. and {Raamsdonk, van}, F. and {Vrijer, de}, R.C.",
booktitle = "Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday",
address = "Germany",
}