Article,

Verifying scenarios with time Petri-nets.

, , and .
Inf. Softw. Technol., 43 (13): 769-781 (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews