DMCA
Synchronous and bidirectional component interfaces (2002)
Cached
Download Links
- [www.eecs.berkeley.edu]
- [www.soe.ucsc.edu]
- [www-cad.eecs.berkeley.edu]
- DBLP
Other Repositories/Bibliography
by
Arindam Chakrabarti
,
Luca De Alfaro
,
Thomas A. Henzinger
,
Freddy Y. C. Mang
| Venue: | In CAV 02: Proc. of 14th Conf. on Computer Aided Verification, volume 2404 of Lect. Notes in Comp. Sci |
| Citations: | 40 - 10 self |
BibTeX
@INPROCEEDINGS{Chakrabarti02synchronousand,
author = {Arindam Chakrabarti and Luca De Alfaro and Thomas A. Henzinger and Freddy Y. C. Mang},
title = {Synchronous and bidirectional component interfaces},
booktitle = {In CAV 02: Proc. of 14th Conf. on Computer Aided Verification, volume 2404 of Lect. Notes in Comp. Sci},
year = {2002},
pages = {414--427},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
