EEMCS

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

EEMCS EPrints Service


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

Number of items: 1.

1992

Mader, A.H. (1992) Tableau Recycling. In: 4th International Workshop Computer Aided Verification (CAV), 29 Jun - 01 Jul 1992, Montreal, Canada. pp. 330-342. Springer-Verlag. ISBN 3-540-56496-9

This list was generated on Mon May 29 04:44:43 CEST 2017.