Inproceedings,

Specification and Stepwise Development of Communicating Systems.

, and .
VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 149-163. Springer, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews