History-Preserving Bisimilarity for High
β
Fahrenberg, Uli; Legay, Axel
π
Article
π
2013
π
Elsevier Science
π
English
β 261 KB