我要吃瓜

Technical Report

Symbolic Bisimulation for Full LOTOS

Details

Citation

Calder M & Shankland C (2001) Symbolic Bisimulation for Full LOTOS. University of Glasgow Technical Report, TR-2001-77. University of Glasgow.

StatusPublished
Title of seriesUniversity of Glasgow Technical Report
Number in seriesTR-2001-77
Publication date31/03/2001
PublisherUniversity of Glasgow