Integration of canonical term algebras into data type models of LOTOS specifications

Popien, C.; Koenig, H.

London : Taylor & Francis (1991)
Journal Article

In: Systems analysis, modelling, simulation
Volume: 8
Issue: 4/5
Page(s)/Article-Nr.: 4-5

Institutions

  • Chair of Computer Science 4 (Communication and Distributed Systems) [121710]
  • Department of Computer Science [120000]

Identifier