Sciweavers

11561 search results - page 125 / 2313
» A Language for Biochemical Systems
Sort
View
TOSEM
2010
41views more  TOSEM 2010»
15 years 4 months ago
A verification system for interval-based specification languages
Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew...
CORR
2009
Springer
60views Education» more  CORR 2009»
15 years 3 months ago
On Languages Accepted by P/T Systems Composed of joins
Pierluigi Frisco, Oscar H. Ibarra