@Inproceedings{DBLP:conf/gg/GadducciLV12,
   joint-pub = {true},
   status = {published},
   link = {http://www.springerlink.com/content/a48u072n41613044/fulltext.pdf},
   task = {T2.1},
   publisher = {Springer},
   booktitle = {ICGT},
   series = {Lecture Notes in Computer Science},
   year = {2012},
   isbn = {978-3-642-33653-9},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7562},
   main = {no},
   accessible = {true},
   title = {{Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models}},
   editor = {Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg},
   author = {Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin},
   ee = {http://dx.doi.org/10.1007/978-3-642-33654-6},
   period = {M24},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UNIPI,IMT},
   wp = {WP2},
   pages = {51-65}
}