Formal Analysis Framework for Lossy Interface Adapter Chaining

Abstract: 
Author: 
Yoo Chul Chung
Document: 
Publication date: 
2010
Citation: 
Yoo Chul Chung. Formal Analysis Framework for Lossy Interface Adapter Chaining. PhD thesis, KAIST, February 2010.