On computing the fixpoint of a set of boolean equations


Year:
2003
Note:
MSR-TR-2003-08 (Microsoft Research)
Laboratories:




 Record created 2007-08-21, last modified 2018-01-28

External links:
Download fulltextURL
Download fulltextn/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)