Bas Luttik

Bas Luttik

Eindhoven University of Technology - Eindhoven / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 4426301
Technische Universiteit Eindhoven
person_outline Bas Luttik's MOST POPULAR ARTICLES
1-) Branching bisimilarity with explicit divergenceR Van Glabbeek, B Luttik, N TrčkaFundamenta Informaticae 93 (4), 371-392, 2009902009
2-) Description and formal specification of the link layer of P1394SP LuttikCentrum voor Wiskunde en Informatica, 1997761997
3-) Towards model checking executable UML specifications in mCRL2HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de PolInnovations in Systems and Software Engineering 6, 83-90, 2010672010
4-) Specification of Rewriting Strategies∗SP Luttik, E VisserProceedings of the 2nd International Workshop on the Theory and Practice of …, 1997661997
5-) Analyzing a χ model of a turntable system using Spin, CADP and UppaalE Bortnik, N Trčka, AJ Wijs, B Luttik, JM van de Mortel-Fronczak, ...The Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005592005