Sciweavers

14360 search results - page 161 / 2872
» Time Modeling in MARTE
Sort
View
FUIN
2006
80views more  FUIN 2006»
15 years 3 months ago
Update and Abstraction in Model Checking of Knowledge and Branching Time
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...