@misc
{TN_libero_mab2,
author = {
Holzmann, Gerard J.
},
title = {
Software verification at Bell Labs: One line of development
},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
isbn = {1089-7089},
keywords = {
Electrical and Electronic Engineering
},
year = {2002},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}