Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Classification: FMT-SEMANTICS
Home Policy Brochure Browse Search User Area Contact Help


Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. Technical Report TR-CTIT-12-17, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625


Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002. pp. 585-596. Lecture Notes In Computer Science 2380. Springer Verlag. ISSN 0302-9743 ISBN 3-540-43864-5


Katoen, J.P. and Baier, C. and Latella, D. (2001) Metric semantics for true concurrent real time. Theoretical computer science, 254 (1/2). pp. 501-542. ISSN 0304-3975 *** ISI Impact 0,643 ***
Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1