Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.
From MaRDI portal
Publication:4921553
DOI10.1016/S1571-0661(04)00177-XzbMath1262.68121OpenAlexW1515591279MaRDI QIDQ4921553
Reiko Heckel, Jochen Malte Küster
Publication date: 10 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00177-x
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work
This page was built for publication: Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.