1569732
Results 1 to 1 of 1
Selection :
Proving a real time algorithm for ATM in CoqMONIN, J.-F.Lecture notes in computer science. 1998, pp 277-293, issn 0302-9743, isbn 3-540-65137-3Conference Paper