Refreshing results…
Probabilistic Analysis of Large Finite State Machines
Download from www.researchgate.netRe-encoding Sequential Circuits to Reduce Power Dissipation
Download from www.researchgate.netTearing Based Automatic Abstraction for CTL Model Checking
Download from www.researchgate.netTowards Combining Individual and Collaborative Work Spaces under a Unified E-Portfolio
Download from e-archivo.uc3m.esSequencing Parametric Exercises for an Operating System Course
Download from link.springer.comMissing publications? Search for publications with a matching author name.