10. |
The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA, page 6 S..
IEEE
Piscataway, NJ, USA
October
2012
ISBN: 978-1-4673-2445-8
|
9. |
TAICPART'2012
April
2012
|