Newtonian Arbiters Cannot be Proven Correct
Mendler, Michael; Stroup, Terry (1993): Newtonian Arbiters Cannot be Proven Correct, in: Formal Methods in System Design, Dordrecht [u.a.]: Kluwer, Jg. 3, Nr. 3, S. 233–257.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Formal Methods in System Design
ISSN:
1572-8102
0925-9856
Publisher Information:
Year of publication:
1993
Volume:
3
Issue:
3
Pages:
Language:
English
Type:
Article
URI:
Activation date:
November 21, 2022

Versioning

Question on publication

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