Publications

Institutions for Behavioural Dynamic Logic with Binders

AuthID
P-00N-22J

Author(s)

Hennicker, R

Madeira, A

Editor(s)

Dang Van Hung; Deepak Kapur

Document Type

Proceedings Paper

Year published

2017

Published

in Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10580, Pages: 13-31

Conference

14Th International Colloquium on Theoretical Aspects of Computing, Ictac 2017, Date: 23 October 2017 through 27 October 2017

Indexing

Scopus^®

Dblp^®/en/publications/view/690258

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-67729-3_2

DBLP: conf/ictac/HennickerM17

SCOPUS: 2-s2.0-85031415150

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.

Institutions for Behavioural Dynamic Logic with Binders

Useful Links

Get Help

Federated Authentication (Click on the image)

Institutions for Behavioural Dynamic Logic with Binders

Useful Links

Get Help