On Timed Models and Full Abstraction
Gavin Lowe and Joël Ouaknine
Details
| Journal |
Electr. Notes Theor. Comput. Sci. |
| Pages |
497−519 |
| Volume |
155 |
| Year |
2006 |
Links
DOI (10.1016/j.entcs.2005.11.070)
Related pages
|
People |
|
|
Activities |