Search results
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 1-26
ICT Innovations 2009 > Proceeding Papers > 285-294
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 1-26
ICT Innovations 2009 > Proceeding Papers > 285-294