Vol-3586⫷ Vol-3587 ⫸Vol-3588
urn:nbn:de:0074-3587-0


Vol-3587/0265⫷Vol-3587/4168⫸Vol-3587/5208
Valentina CastiglioniMichele LoretiSimone Tini

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems