Technical Report
Details
Citation
Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. 我要吃瓜 Technical Report, CSM 159. 我要吃瓜.
Status | Published |
---|---|
Title of series | 我要吃瓜 Technical Report |
Number in series | CSM 159 |
Publication date | 31/10/2000 |
Publisher | 我要吃瓜 |