Items where authors include "Lüttgen, G."

Article

Ciardo, G., Lüttgen, G. and Miner, A.S. (2007) Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design, 31 (1). pp. 63-100. ISSN 0925-9856

Lüttgen, G. and Vogler, W. (2004) Bisimulation on speed: Worst-case efficiency. Information and Computation, 191 (2). pp. 105-144. ISSN 0890-5401

Lüttgen, G. and Mendler, M. (2002) The intuitionism behind statecharts steps. ACM Transactions on Computational Logic, 3 (1). pp. 1-41. ISSN 1529-3785