The intuitionism behind statecharts steps
Lüttgen, Gerald; Mendler, Michael (2002): The intuitionism behind statecharts steps, in: ACM transactions on computational logic : TOCL, Jg. 3, Nr. 1, S. 1–41, doi: 10.1145/504077.504078.
Faculty/Chair:
Author:
 ; 
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:
Language:
English
DOI:
Type:
Article
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/9778