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

First Page		Document Content
Date: 2008-06-30 15:34:28 Physics SPIN model checker Promela Equivalence relation Trace Group Algorithm Symmetry Mathematics Algebra		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 Add to Reading List Source URL: spinroot.com Download Document from Source Website File Size: 247,20 KB Share Document on Facebook

	Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science DocID: 1xVun - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–692) MIRROR SYMMETRY AND CLUSTER ALGEBRAS Paul Hacking and Sean Keel DocID: 1xUEy - View Document
	Construction of time-projection chambers to probe the symmetry energy at high density R. Shane, for the SAMURAI-TPC collaboration Constraints on the Nuclear Symmetry Energy DocID: 1vqab - View Document
	Comparing Different Microscopic Approaches to Neutron-rich Matter F. Sammarruca, University of Idaho Third International Symposium on Symmetry Energy DocID: 1voYd - View Document
	Soft terms from theories with a gauged R-symmetry in N = 1 supergravity. Rob Knoops K.U.Leuven and CERN Erice, Wednesday July 1st, 2015 DocID: 1vnX6 - View Document