Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2002
Delzanno, G. and Etalle, S. and Gabbrielli, M., ed.
(2002)
2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE).
Report Type UNSPECIFIED 94,
ISSN 0109-9779
This list was generated on Thu May 24 06:00:31 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||