Menouer Boubekeur, Dominique Borrione, Laurent Mounier, Marc Renaudin, Antoine Sirianni. Modelling CHP descriptions in Labelled Transition Systems for an efficient formal validations of asynchronous circuit specifications. In Forum on Specification and Design Language (FDL'03), Frankfurt, Germany, September 2003.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Boubekeur-Borrione-Mounier-03a,
Author = {Boubekeur, Menouer and Borrione, Dominique and Mounier, Laurent and Renaudin, Marc and Sirianni, Antoine},
Title = {Modelling CHP descriptions in Labelled Transition Systems for an efficient formal validations of asynchronous circuit specifications},
BookTitle = {Forum on Specification and Design Language (FDL'03), Frankfurt, Germany},
Month = {September},
Year = {2003}
}
Get EndNote Reference (.ref)