Juggrnaut: using graph grammars for abstracting unbounded heap structures
Crossref DOI link: https://doi.org/10.1007/s10703-015-0236-1
Published Online: 2015-09-04
Published Print: 2015-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Heinen, Jonathan
Jansen, Christina
Katoen, Joost-Pieter
Noll, Thomas
Funding for this research was provided by:
European Commission (BE) (287767)
Text and Data Mining valid from 2015-09-04