Sciweavers

9018 search results - page 65 / 1804
» 3D-Brain Model Software
Sort
View
83
Voted
FSTTCS
1999
Springer
15 years 2 months ago
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Ron van der Meyden, Nikolay V. Shilov
63
Voted
APSEC
1997
IEEE
15 years 2 months ago
Towards Constructing a Class Evolution Model
Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Ha...