mirela / scp

Go to a project
Toggle navigation Toggle navigation pinning
Jean-Yves Didier
5fad4787 1 parent 306236a7

Description of the repository

Inline Side-by-side
Showing 1 changed file with 5 additions and 1 deletions
1 Mirela NG examples repository 1 Mirela NG examples repository
2 -=============================
...\ No newline at end of file ...\ No newline at end of file
2 +=============================
3 +
4 +This repository contains the models and queries linked to the three examples
5 +presented in the paper named *Analysis of local deadlocks and related properties
6 +in abstract modular real-time applications*.
......