TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems

TitleTROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems
Publication TypeConference Proceedings
Year of Conference1994
AuthorsHerzig, R., and N. Vlachantonis
Conference NameCase Study ``Production Cell'': A Comparative Study in Formal Specification and Verification
Pagination231-239
PublisherFZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany)
Abstract

no

Publicno