% 
% This file was created by the Typo3 extension
% sevenpack version 0.7.16
% 
% --- Timezone: CEST
% Creation date: 2013-06-19
% Creation time: 12-22-42
% --- Number of references
% 1
% 

@Miscellaneous { Nepper2003,
   title = {Model Checking - Grundlagen},
   year = {2003},
   affiliation = {Department for Informatics, Ludwig-Maximilians-Universitaet, Munich},
   url = {http://www.pst.informatik.uni-muenchen.de/lehre/WS0203/psem/doku/nepper_aus.pdf},
   web_url = {http://www.pst.informatik.uni-muenchen.de/lehre/WS0203/psem/doku/nepper_aus.pdf},
   howpublished = {Online},
   author = {Nepper, Patrick}
}