@article{AM16a,
title = { Causality Problem in Real-Time Calculus },
author = {Altisen, Karine and Moy, Matthieu},
year = {2016},
journal = {Formal Methods in System Design},
number = {1},
pages = {1--45},
volume = {48},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32607956
|
|
|