14046505
Results 1 to 1 of 1
Selection :
Modelisation of timed automata in CoqPAULIN-MOHRING, Christine.Lecture notes in computer science. 2001, pp 298-315, issn 0302-9743, isbn 3-540-42736-8Conference Paper