Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents Academic Article uri icon

publication date

  • January 1, 2002

published in

  •   Geographic Location