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.

Verification of Concurrent Systems with VerCors

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski. Verification of Concurrent Systems with VerCors. In Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, editors, Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Volume 8483 of Lecture Notes in Computer Science, pages 172-216, Springer, 2014. [doi]

Authors

Afshin Amighi

This author has not been identified. Look up 'Afshin Amighi' in Google

Stefan Blom

This author has not been identified. Look up 'Stefan Blom' in Google

Saeed Darabi

This author has not been identified. Look up 'Saeed Darabi' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google

Wojciech Mostowski

This author has not been identified. Look up 'Wojciech Mostowski' in Google

Marina Zaharieva-Stojanovski

This author has not been identified. Look up 'Marina Zaharieva-Stojanovski' in Google
runs on