EEMCS

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

EEMCS EPrints Service


Editor: Tigka, K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2004

Andova, S. and Willemse, T.A.C. (2004) Verification of probabilistic behaviours. In: 1 st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World, 20 Nov 2003, Thessaloniki, Greece. pp. 84-99. SEERC. ISBN 960-87869-1-6

This list was generated on Mon Mar 20 06:41:46 CET 2017.