Search results for: L. Robert
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State and Parametric Systems > 236-250
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies II > Verification > 148-165
IFMBE Proceedings > 6th World Congress of Biomechanics (WCB 2010). August 1-6, 2010 Singapore > Young Investigator Award Papers > 1663-1666
2010 Asia-Pacific Microwave Conference > 841 - 844
Blackwell Brief Histories of Religion Series