Archived publication

Archived publication

Specification of distributed systems with a combination of graphical and formal languages

Johnsen, Einar; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie

January 01, 2001

DART

  • Published date: January 01, 2001
  • Publisher:
  • Refereed: 1
  • Filename: 3551/Johnsen_-_Specification_of_distributed_systems_with_a_combin.pdf
  • Conference: 8th Asian-Pasific Software Enginnering (APSEC 2001), Dec. 4-7, 2001
  • Page(s):
  • Journal:
  • Name and number of project:
  • Volume/number:
  • Title: Specification of distributed systems with a combination of graphical and formal languages
  • Author(s): Johnsen, Einar; Zhang, Wenhui; Owe, Olaf; Aredo, Demissie
  • ISBN:
  • Book title:
  • Editor: