Sciweavers

10871 search results - page 60 / 2175
» A stable programming language
Sort
View
ECOOP
2001
Springer
15 years 10 months ago
What's in a Name?
Erik Ernst
ESOP
2001
Springer
15 years 10 months ago
On the Completeness of Model Checking
Francesco Ranzato
ICALP
2001
Springer
15 years 10 months ago
Communication Gap for Finite Memory Devices
Tomasz Jurdzinski, Miroslaw Kutylowski