Vol-4079⫷ Vol-4080 ⫸Vol-4081
urn:nbn:de:0074-4080-0


Vol-4080/paper9⫷Vol-4080/paper10⫸Vol-4080/short1
Lorenzo CapraMassimiliano De PierroGiuliana Franceschinis

Symbolic structural techniques improving the analysis of Stochastic Symmetric Nets