Back to Results
First PageMeta Content



On the Tractability of Digraph-Based Task Models Martin Stigge, Pontus Ekberg, Nan Guan, and Wang Yi Uppsala University, Sweden Email: {martin.stigge | pontus.ekberg | nan.guan | yi}@it.uu.se Abstract—In formal analysi
Add to Reading List

Document Date: 2011-04-26 05:30:19


Open Document

File Size: 368,90 KB

Share Result on Facebook
UPDATE