1
Published 2010
Table of Contents: ... -- Achieving Distributed Control through Model Checking -- Robustness in the Presence of Liveness -- RATSY – A...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... for Mining Subtle Signals in Time Course Microarray Data -- A PTAS for the k-Consensus Structures Problem...
View full text
Electronic eBook