@inproceedings{HM06,
title = { Simulation and verification of asynchronous systems by means of a synchronous model },
author = {Halbwachs, Nicolas and Mandel, Louis},
month = {jun},
year = {2006},
booktitle = {Sixth International Conference on Application of Concurrency to System Design, ACSD 2006},
address = {Turku, Finland},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32610756
|
|
|