@misc
{TN_libero_mab2,
author = {
Núñez, Manuel
Maamar, Zakaria
AND
Pelayo, Fernando L.
AND
Pousttchi, Key
AND
Rubio, Fernando
},
title = {
Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
},
publisher = {Springer},
isbn = {9783540302339},
isbn = {3540231692},
isbn = {9783540231691},
keywords = {
Computer Communication Networks
,
Computer system performance
,
Logic design
,
Computer communication systems.
,
Computer logic.
,
Computer system failures.
,
Computer science
,
Software engineering
,
Computers and civilization.
,
Electronic digital computers
,
Computer networks .
,
Computer Science
,
Konferenzschrift 2004 Toledo
,
Electronic Commerce
,
Formale Methode
,
Verteiltes System
,
Leistungsbeurteilung
,
Modellierung
,
Testen
},
year = {2004},
booktitle = {Lecture Notes in Computer Science ; 3236},
address = {
Berlin
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}