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.org/rec/conf/mfcs/IbarraSDBK00.xml
Oscar H. Ibarra Jianwen Su Zhe Dang Tevfik Bultan Richard A. Kemmerer Conter Machines: Decidable Properties and Applications to Verification Problems. 426-435 https://doi.org/10.1007/3-540-44612-5_38 2000 conf/mfcs/2000 MFCS db/conf/mfcs/mfcs2000.html#IbarraSDBK00