Resource Modeling for Timed Creol Models

Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas. Resource Modeling for Timed Creol Models. Electronic Notes in Theoretical Computer Science, 266:63-75, 2010. [doi]

Abstract

Abstract is missing.