EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-F.1.1
Home Policy Brochure Browse Search User Area Contact Help

2012

Ketema, J. (2012) Reinterpreting Compression in Infinitary Rewriting. In: Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), 30 May - 01 Jun 2012, Nagoya, Japan. pp. 209-224. Leibniz International Proceedings in Informatics (LIPIcs) 15. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-38-5

2006

Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2006) A Testing Scenario for Probabilistic Processes. Technical Report ICIS-R06002, Radboud University Nijmegen, Nijmegen.