Deductive verification of distributed groupware systems (2004)

Cached

Download Links

by Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch
Venue:In Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, volume 3116 of Lecture Notes in Computer Science
Citations:4 - 2 self