Options
Constructive semantics for instantaneous reactions
Aguado, Joaquin; Mendler, Michael (2005): Constructive semantics for instantaneous reactions, Bamberg.
Faculty/Chair:
Author:
Corporate Body:
Fak. Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich-Univ.
Publisher Information:
Year of publication:
2005
Pages:
Language:
English
Type:
Book
Activation date:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/12313