Juan José
Sánchez Penas
Profesor Asociado
University of Gothenburg
Gotemburgo, SueciaPublicaciones en colaboración con investigadores/as de University of Gothenburg (2)
2004
-
Translating Erlang to μCRL
Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004
2003
-
VoDkaV tool: model checking for extracting global scheduler properties from local restrictions
Proceedings - International Conference on Application of Concurrency to System Design, ACSD