Vol-1697⫷ Vol-1698 ⫸Vol-1699
urn:nbn:de:0074-1698-0


Vol-1698/CS&P2016_22_Kozlova&Zakharov_On-the-model-checking-of-sequential-reactive-systems⫷Vol-1698/CS&P2016_23_Nguyen_Computing-Bisimulation-Based-Comparisons⫸Vol-1698/CS&P2016_24_Kacprzak&Sawicka&Zbrzezny_Towards-model-checking-argumentative-dialogues-with-emotional-reasoning
Linh Anh Nguyen

Computing Bisimulation-Based Comparisons