Parameterized Systems in BIP: Design and Model Checking.

Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis

Browse the full CONCUR paper archive.