@article{EYB+6,
title = { Distinguishing extended finite state machine configurations using predicate abstraction },
author = {El-Fakih, Khaled and Yevtushenko, Nina and Bozga, Marius and Bensalem, Saddek},
year = {2016},
journal = {J. Software Eng. R\&D},
pages = {1},
volume = {4},
team = {DCS, RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008860
|
|
|