Transition Semantics for Branching Time
Journal of Logic, Language and Information - Netherlands
doi 10.1007/s10849-015-9231-6
Full Text
Open PDFAbstract
Available in full text
Date
November 6, 2015
Authors
Publisher
Springer Science and Business Media LLC