Constructive semantics for instantaneous reactions
Aguado, Joaquín; Mendler, Michael (2011): Constructive semantics for instantaneous reactions, in: Theoretical computer science : the journal of the EATCS, Jg. 412, Nr. 11, S. 931–961.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Theoretical computer science : the journal of the EATCS
ISSN:
0304-3975
Year of publication:
2011
Volume:
412
Issue:
11
Pages:
Language:
English
URL:
Type:
Article
URI:
Activation date:
April 30, 2014

Question on publication

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