Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1999
Broersen, J.M. and Wieringa, R.J.
(1999)
A logic for the specification of multi-object systems.
In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 15-18 Feb 1999, Firenze, Italy.
pp. 387-398.
IFIP Conference Proceedings 139.
Kluwer Academic Publishers.
ISBN 0792384296
This list was generated on Thu May 24 05:52:38 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||