Publications

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(s)

Barbosa,LS;Baltag,A

Document Type

Proceedings Paper

Year published

2020

Published

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

Volume: 12005, Pages: 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^®/en/publications/view/810737

Crossref^®

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help