Ausgabe 6/2018
Special Issue: FM15
Inhalt (4 Artikel)
Original Article
Probabilistic bisimulation for realistic schedulers
Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
Original Article
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Original Article
Descending chains and narrowing on template abstract domains
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari