iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/concur/LengauerH84.rdf
Christian Lengauer and Chua-Huang Huang: The Static Derivation of Concurrency and its Mechanzed Certification. (1984) conf/concur/LengauerH84 10.1007/3-540-15670-4_7 The Static Derivation of Concurrency and its Mechanzed Certification. 2 Christian Lengauer 1 Chua-Huang Huang 2 131-150 Seminar on Concurrency Seminar on Concurrency 1984 1985 provenance information for RDF data of dblp record 'conf/concur/LengauerH84' 2017-05-19T12:26:22+0200