Jump to : Contact | BibTex reference | EndNote reference |

briandjeannet10

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.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)