.gif)
TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems
| 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 |