Items where authors include "Luttgen, G."

Article

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

Luttgen, G. and Vogler, W. (2007) Conjunction on processes: Full-abstraction via ready-tree semantics. Theoretical Computer Science, 373 (31-2). pp. 19-40. ISSN 0304-3975