본문

  1. Home
2 Results:AA:LARSEN P C 0.22 sec.
RSS 
Multilingual
 Recherche avancée
 nouvelle arrivée Rechercher
impression sélectionné Select Export to Excel
1
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Bouyer, P., | Association for Computing Machinery | 2011 ,
2
Backpackers and mainstreamers:Realities and Myths
Backpackers and mainstreamers:Realities and Myths
Larsen, S., | Pergamon | 2011 ,
처음1마지막