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.

An Experimental Spatio-Temporal Model Checker

Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink. An Experimental Spatio-Temporal Model Checker. In Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Volume 9509 of Lecture Notes in Computer Science, pages 297-311, Springer, 2015. [doi]

Authors

Vincenzo Ciancia

This author has not been identified. Look up 'Vincenzo Ciancia' in Google

Gianluca Grilletti

This author has not been identified. Look up 'Gianluca Grilletti' in Google

Diego Latella

This author has not been identified. Look up 'Diego Latella' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google

Mieke Massink

This author has not been identified. Look up 'Mieke Massink' in Google
runs on