e CIG: PC-Member


PC-Member

Author:Dix, Jürgen
Title:MoChArt '02, Workshop on Model Checking and AI
Month:July
Year:2002
Address: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/},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019