Inproceedings,

Stepwise construction of non-sequential software systems using a net-based specification language.

.
European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 307-330. Springer, (1984)

Meta data

Tags

Users

  • @dblp

Comments and Reviews