Difference between revisions of "Radu Iosif"

From Numerical Transition Systems
Jump to: navigation, search
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

Research

Projects

Teaching

Events