Timed Verification of Machine-to-Machine
✍
Gharbi, Ghada; Guermouche, Nawal; Monteil, Thierry
📂
Article
📅
2014
🏛
Elsevier
🌐
English
⚖ 877 KB