Íæż½ã½ã

Technical Report

Symbolic Bisimulation for Full LOTOS

Details

Citation

Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. Íæż½ã½ã Technical Report, CSM 159. Íæż½ã½ã.

StatusPublished
Title of seriesÍæż½ã½ã Technical Report
Number in seriesCSM 159
Publication date31/10/2000
PublisherÍæż½ã½ã