scientific article; zbMATH DE number 2013775

MaRDI QIDQ4437047zbMATH OpenFDO

Authors Zhongjie Li, Xia Yin, Jian-Ping Wu

Publication date 7 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2644/26440049.htm

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computing methodologies and applications (68U99)

Recommendations

• Publication:4942012
• From active to passive -- progress in testing internet routing protocols
• scientific article; zbMATH DE number 1446758
• Modeling Routing Protocols in Adhoc Networks
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(5)

• From active to passive -- progress in testing internet routing protocols
• Analyzing Internet Routing Security Using Model Checking
• scientific article; zbMATH DE number 1418455 (Why is no real title available?)
• scientific article; zbMATH DE number 1446758 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4437047)