Difference between revisions of "Radu Iosif"

From Numerical Transition Systems
Jump to: navigation, search
Line 20: Line 20:
  
 
=== Teaching ===
 
=== Teaching ===
 +
 +
* [[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