e Institut für Informatik: Komitee-Aktivitäten

Informatik an der TU Clausthal > Forschung > Komitee-Aktivitäten

Komitee-Aktivitäten

Autor:Dix, Jürgen
Titel:MoChArt '02, Workshop on Model Checking and AI
Monat:Juli
Jahr:2002
Addresse:Lyon, FR
Url:http://www.csc.liv.ac.uk/~mjw/mochart/
BibTeX-Code:
@pcmember{Dix:MOCHART:02:PCmember,
author={Dix, Jürgen},
title={MoChArt '02, Workshop on Model Checking and AI},
month={jul},
year={2002},
address={Lyon, FR},
url={http://www.csc.liv.ac.uk/~mjw/mochart/},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019