[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Counting interface automata and their application in static analysis of actor models

• 作者Wandeler, E.; Janneck, J.W.; Lee, E.A.; Thiele, L.
• 文件大小327.82KB
• 发表时间2005
• DOI10.1109/SEFM.2005.14
• 页码106-115