zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Núñez, Manuel (ed.) et al., Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1–2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23169-2/pbk). Lecture Notes in Computer Science 3236, 170-183 (2004).
MSC:  68M20
BibTeX Cite
Full Text: DOI
Gregori, Enrico (ed.) et al., NETWORKING 2002. Networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications. 2nd international IFIP-TC6 networking conference, Pisa, Italy, May 19–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43709-6). Lect. Notes Comput. Sci. 2345, 757-768 (2002).
MSC:  68U99 68M20
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication