642 followers
#arXiv #cs_LO "Forward Analysis and Model Checking for Trace Bounded WSTS. (arXiv:1004.2802v4 [cs.LO] UPDATED)" https://t.co/Ae69FLJN6q
#arXiv #cs_LO "Forward Analysis and Model Checking for Trace Bounded WSTS. (arXiv:1004.2802v4 [cs.LO] UPDATED)" https://t.co/Ae69FLJN6q