Sciweavers

21984 search results - page 288 / 4397
» C
Sort
View
171
Voted
AMKM
2003
Springer
15 years 12 months ago
Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems
Sidney C. Bailin, Walt Truszkowski
CAV
2003
Springer
124views Hardware» more  CAV 2003»
15 years 12 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
ECOOP
2003
Springer
15 years 12 months ago
Regular Object Types
Vladimir Gapeyev, Benjamin C. Pierce