EEMCS

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

EEMCS EPrints Service


Editor: Gruner, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2003

Rensink, A. (2003) Towards model checking graph grammars. In: Workshop on Automated Verification of Critical Systems (AVoCS), Southampton, UK. pp. 150-160. Technical Report DSSE-TR-2003-02. University of Southampton.
Goga, N. (2003) A probabilistic coverage for on-the-fly test generation algorithms. In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS '03), 2-3 April 2003, Southampton, UK. Technical Report DSSE-TR-2003-2. ECS, University of Southampton. ISBN not assigned

This list was generated on Mon May 29 00:59:04 CEST 2017.