The intuitionism behind statecharts steps





Faculty/Professorship: Software Technologies  ; Foundations of Computer Science  
Author(s): Lüttgen, Gerald  ; Mendler, Michael
Title of the Journal: ACM transactions on computational logic : TOCL
ISSN: 1529-3785
Corporate Body: Association for Computing Machinery
Year of publication: 2002
Volume: 3
Issue: 1
Pages: 1 - 41
Language(s): English
DOI: 10.1145/504077.504078
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/9778
Year of publication: 24. September 2014