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.

Parameterized Systems in BIP: Design and Model Checking

Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis. Parameterized Systems in BIP: Design and Model Checking. In Josée Desharnais, Radha Jagadeesan, editors, 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. Volume 59 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Igor V. Konnov

This author has not been identified. Look up 'Igor V. Konnov' in Google

Tomer Kotek

This author has not been identified. Look up 'Tomer Kotek' in Google

Qiang Wang

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

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google

Simon Bliudze

This author has not been identified. Look up 'Simon Bliudze' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google
runs on