Title | TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems |
Publication Type | Conference Proceedings |
Year of Conference | 1994 |
Authors | Herzig, R., and N. Vlachantonis |
Conference Name | Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification |
Pagination | 231-239 |
Publisher | FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany) |
Abstract | no |
Public | no |