Sciweavers

65 search results - page 5 / 13
» toms 1998
Sort
View
66
Voted
CAV
1998
Springer
77views Hardware» more  CAV 1998»
15 years 5 months ago
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
Michael Colón, Tomás E. Uribe
CMOT
1998
52views more  CMOT 1998»
15 years 1 months ago
Editorial: Effects and Outcomes of Informal Relations Within Organizations
Karin Sanders, Tom Snijders, Frans N. Stokman