Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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.
This list was generated on Thu May 24 05:34:27 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||