Publicações

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions

AuthID
P-00R-QQH

Author(s)

Hennicker, R

Knapp, A

Madeira, A

Mindt, F

Editor(es)

Barbosa,LS;Baltag,A

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12005, Páginas: 19-34 (16)

Conference

2Nd International Workshop on Dynamic Logic (Dali) as Part of the Formal Methods Week / 3Rd World Congress on Formal Methods, Date: OCT 07-11, 2019, Location: Porto, PORTUGAL

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/810737

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-38808-9_2

DBLP: conf/tap/HennickerKMM19

SCOPUS: 2-s2.0-85079093309

Wos: WOS:000654898800002

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.

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions

Links Úteis

Ajuda