Publications

Can We Communicate? Using Dynamic Logic to Verify Team Automata

AuthID
P-00Y-6GJ

Author(s)

ter Beek, MH

Cledou, G

Hennicker, R

Proença, J

Editor(s)

Chechik,M;Katoen,J;Leucker,M

Document Type

Data Paper

Year published

2022

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 14000 LNCS, Pages: 122-141

Conference

25Th International Symposium on Formal Methods, Fm 2023, Date: 6 March 2023 through 10 March 2023

Indexing

Scopus^®

Dblp^®/en/publications/view/989714

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-27481-7_9

Dblp: data/10/BeekCHP22

Scopus: 2-s2.0-85151057753

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.

Can We Communicate? Using Dynamic Logic to Verify Team Automata

Useful Links

Get Help

Federated Authentication (Click on the image)

Can We Communicate? Using Dynamic Logic to Verify Team Automata

Useful Links

Get Help