Publicações

Verification for Everyone? An Overview of Dynamic Logic

AuthID
P-00Q-MB4

Author(s)

Madeira, A

Editor(es)

Madalena Chaves; Manuel A. Martins

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11415, Páginas: 18-33

Conference

1St International Symposium on Molecular Logic and Computational Synthetic Biology, Mlcsb 2018, Date: 17 December 2018 through 18 December 2018

Indexing

Scopus^®

Dblp^®/pt/publications/view/774500

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-19432-1_2

DBLP: conf/mlcsb/Madeira18

SCOPUS: 2-s2.0-85065773182

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Verification for Everyone? An Overview of Dynamic Logic

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Verification for Everyone? An Overview of Dynamic Logic

Links Úteis

Ajuda