Author:Frank Heitmann

Publications
Complexity of LTL Model-Checking for Safe Object Nets Michael Köhler-Bußmeier and Frank Heitmann In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility