![](https://www.pdfsearch.io/img/ddaaea8470f9fd8cf42359df257cdf08.jpg) Date: 2016-08-22 10:24:41
| | Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg To cite this version:Add to Reading ListSource URL: hal.archives-ouvertes.frDownload Document from Source Website File Size: 1,10 MBShare Document on Facebook
|