Sciweavers

7827 search results - page 43 / 1566
» time 2007
Sort
View
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
15 years 3 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...