Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

First Page		Document Content
Date: 2013-11-19 05:44:53		Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ? Add to Reading List Source URL: www.swenjacobs.com Download Document from Source Website File Size: 506,67 KB Share Document on Facebook