@inproceedings{99a4fe1fefe94f64ab078f5ce1a5e451,
title = "A Logic for the Specification of Multi-Object Systems",
author = "J.M. Broersen and R.J. Wieringa",
year = "1999",
language = "English",
pages = "241--258",
editor = "P. Cianciarini and A. Fantechi and R. Gorrieri",
booktitle = "Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)",
publisher = "Kluwer Academic Publications",
note = "Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) Florence ; Conference date: 01-01-1999 Through 01-01-1999",
}