External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems

Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. In Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin, editors, Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings. Volume 8168 of Lecture Notes in Computer Science, pages 337-349, Springer, 2013. [doi]

Authors

Bozena Wozna-Szczesniak

This author has not been identified. Look up 'Bozena Wozna-Szczesniak' in Google

Agnieszka Zbrzezny

This author has not been identified. Look up 'Agnieszka Zbrzezny' in Google

Andrzej Zbrzezny

This author has not been identified. Look up 'Andrzej Zbrzezny' in Google
runs on