S

scp

43e44c67 Upload new file · by Johan ARCILE

Mirela NG examples repository

This repository contains the models and queries linked to the three examples presented in the paper named Analysis of local deadlocks and related properties in abstract modular real-time applications.