Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile

Browse the full ISSRE paper archive.