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.

Quantitative Aspects of Behaviour Network Verification

Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns. Quantitative Aspects of Behaviour Network Verification. In Osmar R. Zaïane, Sandra Zilles, editors, Advances in Artificial Intelligence, 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings. Volume 7884 of Lecture Notes in Computer Science, pages 218-225, Springer, 2013. [doi]

Abstract

Abstract is missing.

runs on