Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis. A tool for symbolic manipulation of arc functions in symmetric net models. In Andras Horvath, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante, editors, 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. pages 320-323, ACM, 2013. [doi]
Abstract is missing.