PhD thesis,

Modelling of concurrent systems: structural and semantical methods in the high level Petri net calculus

.
Uni Hildesheim, (1999)

Meta data

Tags

Users

  • @genealogie
  • @dblp

Comments and Reviews