External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Analyzing BGP Instances in Maude

Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov. Analyzing BGP Instances in Maude. In Roberto Bruni, Jürgen Dingel, editors, Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6722 of Lecture Notes in Computer Science, pages 334-348, Springer, 2011. [doi]

Authors

Anduo Wang

This author has not been identified. Look up 'Anduo Wang' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google

Limin Jia

This author has not been identified. Look up 'Limin Jia' in Google

Boon Thau Loo

This author has not been identified. Look up 'Boon Thau Loo' in Google

Andre Scedrov

This author has not been identified. Look up 'Andre Scedrov' in Google
runs on