First Page | Document Content | |
---|---|---|
Date: 2009-06-10 18:11:01Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics | McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report NoAdd to Reading ListSource URL: www.sable.mcgill.caDownload Document from Source WebsiteFile Size: 203,17 KBShare Document on Facebook |