Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/26002
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMadeira, Alexandrept_PT
dc.date.accessioned2019-05-09T13:55:47Z-
dc.date.issued2019-
dc.identifier.isbn978-3-030-19431-4pt_PT
dc.identifier.urihttp://hdl.handle.net/10773/26002-
dc.description.abstractThis note, reporting the homonym keynote presented in the International Symposium on Molecular Logic and Computational Synthetic Biology 2018, traces an informal roadmap on Dynamic Logic (DL) field, focusing on its versatility and resilience to be adjusted and adopted in a wide class of application domains and computational paradigms. The exposition argues the room for developments on tagging DL to the analysis of synthetic biologic domain.pt_PT
dc.language.isoengpt_PT
dc.publisherSpringerpt_PT
dc.relationUID/MAT/04106/2019pt_PT
dc.relationPOCI-01-0145-FEDER-016692pt_PT
dc.rightsembargoedAccesspt_PT
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/pt_PT
dc.subjectDynamic Logicpt_PT
dc.subjectFormal Methodspt_PT
dc.titleVerification for Everyone? An Overview of Dynamic Logicpt_PT
dc.typebookPartpt_PT
dc.description.versionpublishedpt_PT
dc.peerreviewedyespt_PT
degois.publication.firstPage18pt_PT
degois.publication.lastPage33pt_PT
degois.publication.locationChampt_PT
degois.publication.titleMolecular Logic and Computational Synthetic Biology. MLCSB 2018. Lecture Notes in Computer Sciencept_PT
degois.publication.volume1005-
dc.date.embargo2020-12-
dc.identifier.doi10.1007/978-3-030-19432-1_2pt_PT
dc.identifier.esbn978-3-030-19432-1pt_PT
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
AbstChile.pdf517.33 kBAdobe PDFembargoedAccess


FacebookTwitterLinkedIn
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.