Extending ASMETA with Time Features

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77543-8_8 ◽

2021 ◽

pp. 105-111

Author(s):

Andrea Bombarda ◽

Silvia Bonfanti ◽

Angelo Gargantini ◽

Elvinia Riccobene

Download Full-text