Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
A preliminary evaluation of backup servers for longer gaming sessions in MANETs
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Entertainment technology transfer toward serious use
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Web squared: paradigms and opportunities
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
On decidability of prebisimulation for timed automata
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
| Hi-index | 0.00 |