.gif)
Distributed Temporal Logic for Concurrent Object Families
| Title | Distributed Temporal Logic for Concurrent Object Families |
| Publication Type | Conference Proceedings |
| Year of Conference | 1994 |
| Authors | Ehrich, H. - D., A. Sernadas, G. Saake, and C. Sernadas |
| Conference Name | Working papers of the International Workshop on Information Systems - Correctness and Reusability |
| Pagination | 22-30 |
| Publisher | Vrije Universiteit Amsterdam, RapportNr. IR-357 |
| Abstract | no |
| Public | no |