Publication:2851316
From MaRDI portal
zbMath1273.68218MaRDI QIDQ2851316
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001587
Related Items
On the consistency, expressiveness, and precision of partial modeling formalisms, Next-preserving branching bisimulation, On the Complexity of Semantic Self-minimization