[IEEE Comput. Soc International Conference on Application...

  • Main
  • [IEEE Comput. Soc International...

[IEEE Comput. Soc International Conference on Application of Concurrency to System Design (ACSD'2003) - Guimaraes, Portugal (18-20 June 2003)] Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. - Merging state-based and action-based verification

Hansen, H., Virtanen, H., Valmari, A.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2003
Language:
english
DOI:
10.1109/csd.2003.1207709
File:
PDF, 475 KB
english, 2003
Conversion to is in progress
Conversion to is failed