A Logic for the Specification of Multi-Object Systems

J.M. Broersen, R.J. Wieringa

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
EditorsP. Cianciarini, A. Fantechi, R. Gorrieri
Place of PublicationFlorence
PublisherKluwer Academic Publications
Pages241-258
Publication statusPublished - 1999
EventProc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) Florence - Florence
Duration: 1 Jan 19991 Jan 1999

Conference

ConferenceProc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) Florence
Period1/01/991/01/99

Cite this