See at:
ISTI Repository | doi.org
| link.springer.com
| CNR ExploRA
See at:
ISTI Repository | link.springer.com
| CNR ExploRA
See at: CNR ExploRA
See at:
ISTI Repository | link.springer.com
| CNR ExploRA
See at:
link.springer.com | ISTI Repository
| ISTI Repository
| CNR ExploRA
See at:
eptcs.web.cse.unsw.edu.au | ISTI Repository
| CNR ExploRA
See at:
ISTI Repository | www.sciencedirect.com
| CNR ExploRA
See at:
ZENODO | ZENODO
| ISTI Repository
| doi.org
| link.springer.com
| CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at:
hal.inria.fr | Formal Methods in System Design
| ISTI Repository
| doi.org
| Formal Methods in System Design
| INRIA a CCSD electronic archive server
| HAL Descartes
| link.springer.com
| CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at:
ISTI Repository | dl.acm.org
| CNR ExploRA
See at:
ISTI Repository | ISTI Repository
| dl.acm.org
| CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at: CNR ExploRA
See at: CNR ExploRA
See at:
ISTI Repository | CNR ExploRA
See at:
ISTI Repository | ieeexplore.ieee.org
| CNR ExploRA
See at:
doi.org | Europe PubMed Central
| link.springer.com
| link.springer.com
| ISTI Repository
| INRIA a CCSD electronic archive server
| CNR ExploRA