EEMCS

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

EEMCS EPrints Service


Editor: Tan, Y.H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1995

Feenstra, R.B. and Wieringa, R.J. (1995) Validating specifications of dynamic systems using automated reasoning techniques. In: NAIC'95: Proceedings of the Seventh Dutch Conference on Artificial Intelligence, NAIC '95, 22-23 June 1995. pp. 105-114. ISBN not assigned

This list was generated on Mon Mar 20 06:36:09 CET 2017.