ORCID

We notice you are using a browser that our site does not support. Some features on this site may not work correctly. We recommend that you upgrade to a supported browser.

Activities

Collapse all

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems

2022 | Book chapter

DOI: 10.1007/978-3-031-10769-6_40

Contributors: Marius Bozga; Lucas Bueri; Radu Iosif

Show more detail

Source:

check_circle

Crossref

How many people are using ORCID?