Conference Paper (published)
Details
Citation
Bolognesi T & Bracciali A (1999) Formal specification of discrete systems by active predicates and dynamic constraints. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-based Distributed Systems, Proceedings of FMOODS'99. IFIP Advances in Information and Communication Technology, Vol. 10. IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.03.1999. Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 161-168.
| Status | Published |
|---|---|
| Title of series | IFIP Advances in Information and Communication Technology |
| Number in series | Vol. 10 |
| Publication date | 31/12/1999 |
| Publication date online | 28/02/1999 |
| Publisher | Kluwer Academic Publishers |
| Place of publication | Dordrecht, The Netherlands |
| ISSN of series | 1868-4238 |
| ISBN | 978-0-7923-8429-8 |
| Conference | IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) |
| Conference location | Florence, Italy |
| Dates | – |