Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4 6 05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod - Rebec - Document - PDFSEARCH.IO

First Page	Meta Content
	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Document Date: 2006-11-02 05:53:39 Open Document File Size: 327,58 KB Share Result on Facebook Position controller / Bridge Controller / model / and their constituents / / SocialTag Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type

Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca ModAdd to Reading List