paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 268471096Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Chatterjee, Krishnendu
Nom à l'état civil

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : Suisse
Genre : Inconnu

Notes

Note publique d'information : 
Institute of Science and Technology Austria, Klosterneuburg, Austria

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/145012659
Identifiant SCOPUS : 7202877099
Identifiant ZBMath : chatterjee.krishnendu

Source

Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger. / Berlin, Heidelberg : Springer Berlin Heidelberg

... Références liées : ...