Publications

Logics for Actor Networks: A Case Study in Constrained Hybridization: A Case Study in Constrained Hybridization

AuthID
P-00N-JMR

Author(s)

Fiadeiro, J

Ţuţu, I

Lopes, A

Pavlovic, D

Editor(s)

Madeira A.Madeira A.Benevides M.

Document Type

Proceedings Paper

Year published

2018

Published

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

Volume: 10669 LNCS, Pages: 98-114

Conference

1St International Workshop on Dynamic Logic, Dali 2017, Date: 23 September 2017 through 24 September 2017

Indexing

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-73579-5_7

Scopus: 2-s2.0-85041113282

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.

Logics for Actor Networks: A Case Study in Constrained Hybridization: A Case Study in Constrained Hybridization

Useful Links

Get Help

Federated Authentication (Click on the image)

Logics for Actor Networks: A Case Study in Constrained Hybridization: A Case Study in Constrained Hybridization

Useful Links

Get Help