Deciding Framed Bisimilarity
BRICS Report Series
doi 10.7146/brics.v9i25.21741
Full Text
Open PDFAbstract
Available in full text
Date
May 5, 2002
Authors
Publisher
Aarhus University Library
Available in full text
May 5, 2002
Aarhus University Library