CTRL: Extension of CTL with regular expressions and...

Theoretical Computer Science 2011 Vol. 412; Iss. 26

CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
412
Year:
2011
Language:
english
Pages:
30
DOI:
10.1016/j.tcs.2010.05.009
File:
PDF, 594 KB
english, 2011
Conversion to is in progress
Conversion to is failed