Sciweavers

43 search results - page 1 / 9
» birthday 2003
Sort
View
BIRTHDAY
2003
Springer
13 years 8 months ago
Verification by Abstract Interpretation
Patrick Cousot
BIRTHDAY
2003
Springer
13 years 9 months ago
A Call to Regularity
Moshe Y. Vardi
BIRTHDAY
2003
Springer
13 years 9 months ago
Route Planning and Map Inference with Global Positioning Traces
Stefan Edelkamp, Stefan Schrödl
BIRTHDAY
2003
Springer
13 years 9 months ago
On the Computational Complexity of Bisimulation, Redux
Faron Moller, Scott A. Smolka