Modeling Dynamic Processes in TLA

@inproceedings{pub1611,
    author = {

Rock, Georg
 and 

Stephan, Werner
 and 

Wolpers, Andreas
},
    editor = {

Spies, Katharina
 and 

Schätz, Bernhard
},
    title = {Modeling Dynamic Processes in TLA},
    booktitle = {Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany},
    year = {1999},
    pages = {185--192},
    publisher = {Herbert Utz Verlag}
}