StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan School of Computer Science, University of Birmingham, UK - New York Brickley Giants - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-12-10 12:35:05		StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 451,86 KB Share Document on Facebook