Show simple item record

AuthorRuf, Jü
EditorHunt Jr., W. A.dc.contributor.editor
EditorJohnson, S. D.dc.contributor.editor
Date of
Available in OPARU
Date of first
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleDo You Trust Your Model Checker?dc.title
Resource typeBeitrag zu einer Konferenzdc.type
DCMI TypeTextuulm.typeDCMI
DOI (external)10.1007/3-540-40922-X_12dc.identifier.doiExternal
Source - Title of sourceProceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USAsource.title
Quellenangabe - Herausgeber. HuntJr., Warren A.source.contributor.editor1
Quellenangabe - HerausgeberJohnson, Seven D.source.contributor.editor1
Source - PublisherBerlinsource.publisherPlace
Source - PublisherHeidelbergsource.publisherPlace
Source - Place of publicationSpringersource.publisher
Source - Year2000source.year
Source - From page199source.fromPage
Source - To page216source.toPage
Source - SerialLecture Notes in Computer Science ; 1954source.series
Source - ISBN978-3-540-41219-9source.identifier.isbn
Source - ISBN978-3-540-40922-9source.identifier.isbn
Conference nameDesign Patterns for the Implementation of Constraints on JavaBeansuulm.conferenceName
Conference placeAustinuulm.conferencePlace
Conference start date2000-11-01uulm.conferenceStartDate
Conference end date2000-11-03uulm.conferenceEndDate

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record