• Counting interface automata an...

Treffer: Counting interface automata and their application in static analysis of actor models

Title:
Counting interface automata and their application in static analysis of actor models
Authors:
Wandeler, E., Janneck, J.W., Lee, E.A., Thiele, L.
Source:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) Software Engineering and Formal Methods Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. :106-115 2005
Relation:
Third IEEE International Conference on Software Engineering and Formal Methods
Database:
IEEE Xplore Digital Library