Login / Signup

model of a turntable system using Spin, CADP and Uppaal.

Elena M. BortnikNikola TrckaAnton WijsBas LuttikJoanna M. van de Mortel-FronczakJos C. M. BaetenWan J. FokkinkJacobus E. Rooda
Published in: J. Log. Algebraic Methods Program. (2005)
Keyphrases