@inproceedings{paperid:1026388,
author = {Amirali Ghofrani and Fatemeh Javaheri and Noori, Hamid and Zainalabedin Navabi},
title = {Transaction Level Formal Verification using Timed Automata},
booktitle = {11th workshop on RTL and high level testing},
year = {2010},
location = {Shanghai},
keywords = {forma l verification; t imed automata; transaction levelmodeling},
}