EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

1009 Preface

Home Policy Brochure Browse Search User Area Contact Help

Etalle, S. and Smaus, J.G. (1999) Preface. In: Workshop on Verification of Logic Programs, December 1, 1999, Las Cruces, New Mexico. 1. Electronic Notes in Theoretical Computer Science 30. Elsevier. ISSN 1571-0661

Full text not available from this repository.

Item Type:	Conference or Workshop Paper (Full Paper, Other)
Research Group:	EWI-DIES: Distributed and Embedded Security
Additional Information:	Imported from DIES
ID Code:	1009
Status:	Published
Deposited On:	12 December 2005
Refereed:	No
International:	Yes
More Information:	statistics

Export this item as:

BibTeX
XML

To correct this item please ask your editor

Repository Staff Only: edit this item