X. Briand, B. Jeannet. Combining control and data abstraction in the verification of hybrid systems. Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 29(10), 2010.
Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/
@article{briandjeannet10,
Author = {Briand, X. and Jeannet, B.},
Title = {Combining control and data abstraction in the verification of hybrid systems},
Journal = {Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)},
Volume = {29},
Number = {10},
Publisher = {IEEE},
Year = {2010}
}
Get EndNote Reference (.ref)