Bisimulations, Games, and Logic
BRICS Report Series
doi 10.7146/brics.v1i6.21664
Full Text
Open PDFAbstract
Available in full text
Date
April 3, 1994
Authors
Publisher
Aarhus University Library
Available in full text
April 3, 1994
Aarhus University Library