Â鶹´«Ã½AV

Technical Report

Symbolic Bisimulation for Full LOTOS

Details

Citation

Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. Â鶹´«Ã½AV Technical Report, CSM 159. Â鶹´«Ã½AV.

StatusPublished
Title of seriesÂ鶹´«Ã½AV Technical Report
Number in seriesCSM 159
Publication date31/10/2000
PublisherÂ鶹´«Ã½AV