EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Brinksma, H.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 10.

2002

Brinksma, H. and Larsen, K.G., ed. (2002) Computer Aided Verification. Lecture Notes in Computer Science 2404. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-43997-8

2001

Brinksma, H. and Hermanns, H. and Katoen, J.P., ed. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-42479-2

Katoen, J.P. and D'Argenio, P.R. (2001) General distributions in process algebra. In: Lectures on Formal Methods and Performance Analysis. Lecture notes in Computer Science 2090. Springer Verlag, London, pp. 375-428.

Brinksma, H. and Hermanns, H. (2001) Process Algebra and Markov Chains. In: Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin, pp. 183-231. ISBN 3-540-42479-2

Tretmans, G.J. and Brinksma, H., ed. (2001) Formal Approaches to Testing of Software FATES'01. Technical Report NS-01-4, BRICS Notes Series, Arhus, Denmark. ISSN 0909-3206

de Vries, R.G. (2001) Towards Formal Test Purposes. In: Formal Approaches to Testing of Software 2001 (FATES'01), August 25, 20, Aarhus, Denmark. pp. 61-76. BRICS Notes Series NS-01-4. ISSN 0909-3206

1997

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems. pp. 416-431. Lecture Notes in Computer Science 1217. Springer-Verlag.

van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1997) The Term Processor Generator Kimwitu. In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, April 2-4, 1997, Enschede, The Netherlands. pp. 96-111. Lecture Notes in Computer Science 1217. Springer Verlag. ISBN 3-540-62790-1

1995

Mader, A.H. (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark. pp. 72-88. Springer-Verlag. ISBN 3-540-60630-0

1992

Turner, K.J. and van Sinderen, M.J. (1992) LOTOS specification style for OSI. In: Proceedings of the Third LOTOShere Workshop, 14-16 Sep 1992, Pisa, Italy. CNUCE. ISBN not assigned

This list was generated on Thu May 24 05:41:44 CEST 2012.