Verifying Time Petri Nets by Linear Programming

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Xuandong Li, Johan Lilius
Förläggare: Turku Centre for Computer Science (TUCS)
Publiceringsår: 1999
Seriens namn: TUCS Technical Report
Nummer i serien: 259
Antal sidor: 14
ISBN: 952-12-0418-4
ISSN: 1239-1891

Senast uppdaterad 2019-19-11 vid 04:33