polski   English  

Digital Library Repository - Institute of Computer Science PAS

polski   English  


Favourite positions

just private
Please login or register to use additional features!

Save this address

  • Add to bookmarks
  • bookmarks

Publication description

Zbrzezny, Agnieszka M., Comparing SAT-based bounded model checking RTECTL and ECTL properties

Opening only publication edition...