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 Abstract—In formal analysi - Gaohu - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-04-26 05:30:19		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 Source URL: user.it.uu.se Download Document from Source Website File Size: 368,90 KB Share Document on Facebook