Return to search

Formalized, validated and executable CPN models of SIP-based presence and dynamic discovery protocols for mobile applications

Thesis (M.S.)--Villanova University, 2007. / Computer Science Dept. Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/153981615
Date January 2007
CreatorsHayrapetyan, Anush.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceClick here for download.

Page generated in 0.0016 seconds