Model checking time Petri nets using NuSM

BOBBIO Andrea, HORVATH A.

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	100-104
Number of pages	5
Publication status	Published - 1 Jan 2001
Externally published	Yes
Event	5th Int Work Performability Modeling Computer & Communication Systems (PMCCS5) - Duration: 1 Jan 2001 → …

Conference	5th Int Work Performability Modeling Computer & Communication Systems (PMCCS5)
Period	1/01/01 → …

Cite this

@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",

}