Model checking time Petri nets using NuSM

BOBBIO Andrea, HORVATH A.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Inglese
Pagine	100-104
Numero di pagine	5
Stato di pubblicazione	Pubblicato - 1 gen 2001
Pubblicato esternamente	Sì
Evento	5th Int Work Performability Modeling Computer & Communication Systems (PMCCS5) - Durata: 1 gen 2001 → …

???event.eventtypes.event.conference???	5th Int Work Performability Modeling Computer & Communication Systems (PMCCS5)
Periodo	1/01/01 → …

Altri file e collegamenti

@conference{06adc693df1543d29ee3889ce7ae409a,

title = "Model checking time Petri nets using NuSM",

author = "BOBBIO Andrea and HORVATH A.",

year = "2001",

month = jan,

day = "1",

language = "English",

pages = "100--104",

note = "5th Int Work Performability Modeling Computer & Communication Systems (PMCCS5) ; Conference date: 01-01-2001",

}