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

EEMCS EPrints Service

Editor: Baeten, J.C.M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.


Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4
Tretmans, G.J. (1999) Testing Concurrent Systems: A Formal Approach. In: CONCUR'99 - Concurrency Theory: 10th International Conference, August 1999, Eindhoven, The Netherlands. pp. 46-65. Lecture Notes in Computer Science 1664. Springer Verlag. ISBN 3-540-66425-4


Spruit, P.A. and Wieringa, R.J. (1991) Some finite-graph models for Process Algebra. In: 2nd International Conference on Concurrency Theory, CONCUR 1991, 26-29 Aug 1991, Amsterdam, The Netherlands. pp. 495-509. Lecture Notes in Computer Science 527. Springer. ISBN 3540544305

This list was generated on Thu May 25 22:57:43 CEST 2017.