Show simple item record

ContributorSchellhorn, Gerharddc.contributor
ContributorReif, Wolfgangdc.contributor
Date of accession2016-03-14T13:38:42Zdc.date.accessioned
Available in OPARU since2016-03-14T13:38:42Zdc.date.available
Year of creation2000dc.date.created
AbstractN/Adc.description.abstract
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 03.05.2003)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v1dc.rights.uri
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHSystem design. Congressesdc.subject.lcsh
TitleFM-Tools 2000: the 4th Workshop on Tools for System Design and Verificationdc.title
Resource typeKonferenzbanddc.type
DOIhttp://dx.doi.org/10.18725/OPARU-344dc.identifier.doi
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-53625dc.identifier.urn
FacultyFakultät für Informatikuulm.affiliationGeneral
Date of activation2005-09-19T12:40:03Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
DCMI TypeTextuulm.typeDCMI
VTS ID5362uulm.vtsID
CategoryPublikationenuulm.category
uulm seriesUlmer Informatik-Berichteuulm.seriesUlmName
Conference nameFM-Tools 2000 The 4thWorkshop on Tools for System Design and Verificationuulm.conferenceName
Conference placeSchloss Reisensburg, Günzburguulm.conferencePlace
Conference start date2000-07-10uulm.conferenceStartDate
Conference end date2000-07-13uulm.conferenceEndDate
Bibliographyuulmuulm.bibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record