Verification of Infinite State Systems release_4j5lzdbfc5hd7ptdo4tpwvmd2m

by Ahmed Bouajjani

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2003   p71-71

Archived Files and Locations

application/pdf  186.2 kB
file_wndehdivjbhxdd3n6o24isaq7e
www.dagstuhl.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2003
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 07fa2b28-3ad4-4f7f-baa4-85813ffb8a1d
API URL: JSON