@book
{TN_libero_mab2,
author = {
Fordran, Eva
},
title = {
Modellprüfung und Modellierung kommunizierender Protokolle am Beispiel des X.35-Protokolls
},
publisher = {Techn. Univ.},
keywords = {
Forschungsbericht
},
year = {1998},
booktitle = {SFB 358 / Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, dedizierte Anwendungen ; C1 ; 98,2},
address = {
Dresden [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}