Vol-1234⫷ Vol-1235 ⫸Vol-1236
urn:nbn:de:0074-1235-0


Vol-1235/paper-09⫷Vol-1235/paper-10
Pranav Srinivas KumarGabor KarsaiAbhishek Dubey

Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications