Search Results for 'Promela'

Promela published presentations and documents on DocSlides.

Model-based Kernel Testing for Concurrency Bugs through Cou

by tawny-fly

Moonzoo Kim. , Shin Hong, Changki Hong. Provable ...

The effects of progesterone and synthetic derivatives on Fa

by conchita-marotz

Pimphales promelas. ) embryos.. JA Stine and DB H...