A Toolset for Modelling and Verification of GALS Systems
S. Ramesh‚ Sampada Sonalkar‚ Vijay D'Silva‚ Naveen Chandra and B. Vijayalakshmi
Details
| Book Title |
16th International Conference on Computer Aided Verification (CAV) |
| Editor |
Rajeev Alur and Doron Peled |
| ISBN |
3−540−22342−8 |
| Location |
Boston‚ U.S.A |
| Month |
July |
| Pages |
506−509 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
3114 |
| Year |
2004 |
Links
Related pages
|
People |