Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali. Spécification et vérification d un ordonnanceur en B via les automates temporisés. L OBJET, 14(4):43-72, 2008. [doi]
@article{NasrRBF08,
title = {Spécification et vérification d un ordonnanceur en B via les automates temporisés},
author = {Odile Nasr and M. Rached and Jean-Paul Bodeveix and Mamoun Filali},
year = {2008},
url = {http://objet.revuesonline.com/article.jsp?articleId=12712},
researchr = {https://researchr.org/publication/NasrRBF08},
cites = {0},
citedby = {0},
journal = {L OBJET},
volume = {14},
number = {4},
pages = {43-72},
}