| Document Date: 2008-06-30 15:34:28
Open Document File Size: 247,20 KBShare Result on Facebook
Company Esprit / / / Facility Eindhoven University of Technology PO Box / / IndustryTerm exploration algorithm / asynchronous systems / generic algorithm / polynomial algorithms / our3 algorithm / mutual exclusion protocol / state space exploration algorithm / veri cation tool / modi ed exploration algorithm / particular sorting algorithm / state exploration algorithm / symmetric systems / symmetric protocols / / Organization Eindhoven University of Technology PO Box / / Person Gerard Holzmann / Emerson / Tre / Dragan Bo / / Position representative for the class [s] / representative / / ProgrammingLanguage Tcl / Promela / C / T / / Technology generic algorithm / mutual exclusion protocol / particular sorting algorithm / modi ed exploration algorithm / polynomial algorithms / state exploration algorithm / Modi ed State Space Exploration Algorithm / exploration algorithm / symmetric protocols / our3 algorithm / state space exploration algorithm / /
SocialTag |
Symmetric Spin? Dragan Bosnacki1, Dennis Dams2 , and Leszek Holenderski1 1 Dept. of Computing Sci., Eindhoven University of Technology PO Box 513, 5600 MB Eindhoven, The Netherlands