An IslandScholar Citation Feedhttp://vre2.upei.ca:8080/solr A scholar's citation feed. en-ushttp://vre2.upei.ca:8080/solrUsing simulation to test formally verified protocols in complex environments http://islandscholar.ca/fedora/repository/ir:762Ye, Qiang; MacGregor, Mike H.; "Using simulation to test formally verified protocols in complex environments", Telecommunications Software Engineering: Emerging Methods, Models and Tools, 2011, 3-4, 5382012-10-19T13:39:56.777Z http://islandscholar.ca/fedora/repository/ir:762TCP-Oriented Restoration Objectives for SONET/SDH Networks http://islandscholar.ca/fedora/repository/ir:761Ye, Qiang; "TCP-Oriented Restoration Objectives for SONET/SDH Networks", Current research progress of optical networks, 2009, , 2012-10-19T14:52:47.282Z http://islandscholar.ca/fedora/repository/ir:761