1
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /

Full text 
Favorites
Saved in:
3
Advances in Rule Interchange and Applications [E-Book] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /

Full text 
Favorites
Saved in:
4
Rule Interchange and Applications [E-Book] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results