Exploring the twin peaks using probabilistic verification techniques

Anitha Murugesan, Sanjai Rayadurgam, Lu Feng, Michael W. Whalen, Mats P E Heimdahl, Insup Lee

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Exploring the twin peaks using probabilistic verification techniques'. Together they form a unique fingerprint.

Engineering & Materials Science