Andreas Both, Dirk Richter. Automatic Component Protocol Generation and Verification of Components. In 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, Lille, France, September 1-3, 2010. pages 94-101, IEEE, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.