Checking Interaction Consistency in MARMOT Component Refinements

Yunja Choi. Checking Interaction Consistency in MARMOT Component Refinements. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Volume 4362 of Lecture Notes in Computer Science, pages 832-843, Springer, 2007. [doi]

No reviews for this publication, yet.