Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
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