Formal Methods in System Design, Volume 29

[–] 

Refine list

showing all ?? records

Volume 29, Number 1, July 2006

Volume 29, Number 2, September 2006

Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker

Volume 29, Number 3, November 2006