@dblp

Scenario durations characterization of t-timed Petri nets using linear logic.

, , and . PNPM, page 208-217. IEEE Computer Society, (1999)

Links and resources

Tags