Vol-1234⫷ Vol-1235 ⫸Vol-1236
urn:nbn:de:0074-1235-0


Vol-1235/paper-03⫷Vol-1235/paper-04⫸Vol-1235/paper-05
Loïc GammaitoniFabien MatheyPierre Kelsen

Verifying Modelling Languages using Lightning: a Case Study