Inkrementelle Interaktionsmodellierung mit farbigen Petri-Netzen - ...

Reference

Jan Stückrath. Inkrementelle Interaktionsmodellierung mit farbigen Petri-Netzen - Formale Beschreibung und Implementierung. Master's thesis, Universität Duisburg-Essen, März 2010.

Suggested BibTeX entry:

@mastersthesis{s10:interactionlogic-mod,
    author = {Jan St{\"u}ckrath},
    month = {M{\"a}rz},
    school = {Universit\"at Duisburg-Essen},
    title = {Inkrementelle {I}nteraktionsmodellierung mit farbigen {P}etri-{N}etzen - {F}ormale {B}eschreibung und {I}mplementierung},
    year = {2010}
}



PDF (1 MB)
© University of Duisburg-Essen, Theoretical Computer Science group