Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tommaso Bolognesi
Erratum To: Formal Methods for Distributed System Development
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
