Checking time petri nets for linear duration properties

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Xuandong Li, Johan Lilius
Förläggare: IEEE Computer Society Press
Publiceringsår: 1999
Förläggare: IEEE Computer Society
Moderpublikationens namn: Petri Nets and Performance Models (PNPM'99)
Artikelns första sida, sidnummer: 218
Artikelns sista sida, sidnummer: 227
ISBN: 0-7695-0331-4
ISSN: 1063-6714

Senast uppdaterad 2019-18-09 vid 03:50