iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/ifm/ChakiCGOSTV05.xml
Sagar Chaki Edmund M. Clarke Orna Grumberg Joël Ouaknine Natasha Sharygina Tayssir Touili Helmut Veith State/Event Software Verification for Branching-Time Specifications. 53-69 2005 conf/ifm/2005 IFM https://doi.org/10.1007/11589976_5 db/conf/ifm/ifm2005.html#ChakiCGOSTV05