Katoen, Joost-Pieter

Katoen, Joost-Pieter

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 130514063

URI de l'entité : http://www.idref.fr/130514063/id

Notice de type Personne

Point d'accès autorisé

Katoen, Joost-Pieter

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 : multilingue

Pays : Allemagne

Genre : Masculin

Notes

Note publique d'information :

Professeur au RWTH, Université d'Aix la Chapelle

Identifiants externes

Identifiant ORCID : 0000-0002-6143-1926

Identifiant VIAF : http://viaf.org/viaf/59929404

Identifiant Wikidata : Q52726456

Identifiant ZBMath : katoen.joost-pieter

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Joost-Pieter_Katoen

Identifiant ISNI : 0000000116531672

Source

CONCUR 2011: concurrency theory: 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011: proceedings / Joost-Pieter Katoen, Barbara König (eds.), 2011

Principles of model checking / Christel Baier, Joost-Pieter Katoen. The MIT Press, [2008?]

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