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]] |
=== Events === | === Events === |
Revision as of 14:35, 28 April 2013
CNRS Researcher (CR1)
Distributed and Complex Systems Group
VERIMAG Laboratory