Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1992
Mader, A.H.
(1992)
Tableau Recycling.
In: 4th Int. Workshop Computer Aided Verification (CAV), Montreal, Canada.
pp. 330-342.
Springer-Verlag.
ISBN 3-540-56496-9
This list was generated on Thu May 24 07:49:53 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||