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/parco/PenczekGS09.xml
Frank Penczek Clemens Grelck Sven-Bodo Scholz An Operational Semantics for S-Net. 467-474 2009 PARCO https://doi.org/10.3233/978-1-60750-530-3-467 conf/parco/2009 db/conf/parco/parco2009.html#PenczekGS09