Search Results for 'promela'

promela published presentations and documents on DocSlides.

The effects of progesterone and synthetic derivatives on Fa

by conchita-marotz

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

Model-based Kernel Testing for Concurrency Bugs through Cou

by tawny-fly

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