DC FieldValueLanguage
dc.contributor.authorKugler, Hillelen_US
dc.contributor.editorIvrii, Alexanderen_US
dc.contributor.editorStrichman, Oferen_US
dc.date.accessioned2020-09-11T12:43:51Z-
dc.date.available2020-09-11T12:43:51Z-
dc.date.issued2020-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/15480-
dc.identifier.urihttp://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_2-
dc.language.isoenen_US
dc.publisherTU Wien Academic Pressen_US
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/-
dc.subjectcomputer-aided system designen_US
dc.titleFormal Verification for Natural and Engineered Biological Systemsen_US
dc.typeInproceedingsen_US
dc.rights.licenseCreative Commons Namensnennung 4.0 Internationalde
dc.rights.licenseCreative Commons Attribution 4.0 Internationalen
dc.identifier.doi10.34727/2020/isbn.978-3-85448-042-6_2-
dc.contributor.affiliationFaculty of Engineering, Bar-Ilan Universityen_US
dc.contributor.editoraffiliationIBM Research, Israelen_US
dc.contributor.editoraffiliationTechnion - Israel Institute of Technology, Israelen_US
dc.relation.isbn978-3-85448-042-6en_US
dc.relation.eissn2708-7824en_US
dc.publisher.placeWienen_US
tuw.booktitleProceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020en_US
tuw.container.volume1en_US
tuw.relation.ispartof10.34727/2020/isbn.978-3-85448-042-6-
tuw.versionvoren_US
tuw.book.chapter2en_US
tuw.publication.orgunitE192-04 - Forschungsbereich Formal Methods in Systems Engineeringen_US
dc.description.numberOfPages1en_US
tuw.relation.ispartoftuwseriesConference Series: Formal Methods in Computer-Aided Designen_US
dc.rights.identifierCC BY 4.0de
dc.rights.identifierCC BY 4.0en
item.grantfulltextopen-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeInproceedings-
item.fulltextwith Fulltext-
item.languageiso639-1en-
crisitem.author.deptFaculty of Engineering, Bar-Ilan University-
Appears in Collections:Beitrag in Konferenzband | Conference Paper
Open-Access-Schriftenreihen | Open Access Series

Files in this item:

File Description SizeFormat
02_Formal Verification for Natural and Engineered Biological Systems.pdfPublished version622.79 kBAdobe PDF View/Open
Show simple item record

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons