List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{Wal98h,
 author = {Thomas Walter},
 title = {Classification of Specification and Validation Methods for Distributed Systems},
 booktitle = {In 8. GI/ITG Fachgespräch Formale Beschreibungstechniken für Verteilte Systeme},
 pages = {3--13},
 publisher = {Shaker verlag},
 month = {Jun},
 year = {1998}
}

---

1 entry found.

 
 Back