Sciweavers

16541 search results - page 148 / 3309
» Ontologies and Software Engineering
Sort
View
VMCAI
2007
Springer
16 years 1 months ago
Verifying Compensating Transactions
Michael Emmi, Rupak Majumdar
VMCAI
2007
Springer
16 years 1 months ago
More Precise Partition Abstractions
Harald Fecher, Michael Huth