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