Difference between revisions of "Radu Iosif"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 25: | Line 25: | ||
=== Events === | === Events === | ||
| − | * [[ | + | * [[Avm_2014|Alpine Verification Meeting 2014]] |
Revision as of 14:36, 28 April 2013
CNRS Researcher (CR1)
Distributed and Complex Systems Group
VERIMAG Laboratory
