Search Results - Open Polar - "ICALP"

Select result number 1
1

Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking

by Ballarini, Paolo, Mura, Ivan, Mardare, Radu
Published 2008
“... of the International Workshop From Biology To Concurrency and back (FBTC 2008), satellite workshop of ICALP 2008, July...”

Get access
Get access

Report
Select result number 2
2

Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking

by Ballarini, Paolo, Mura, Ivan, Mardare, Radu
Published 2008
“... of the International Workshop From Biology To Concurrency and back (FBTC 2008), satellite workshop of ICALP 2008, July...”

Get access

Other/Unknown Material