Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/concur/LengletSS09
AU - Lenglet, Sergueï
AU - Schmitt, Alan
AU - Stefani, Jean-Bernard
TI - Howe's Method for Calculi with Passivation.
BT - CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
SP - 448
EP - 462
PY - 2009//
DO - 10.1007/978-3-642-04081-8_30
UR - https://doi.org/10.1007/978-3-642-04081-8_30
ER -