Sciweavers

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