A Toolset for Modelling and Verification of GALS Systems
S. Ramesh‚ Sampada Sonalkar‚ Vijay D'Silva‚ Naveen Chandra and B. Vijayalakshmi
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