|
|||||
|
|
The Cash-Point Service in NUT |
|
| Authors: | Vahur Kotkas Peep Küngas Mait Harf |
| Affiliation: | (1) Software Department, Institute of Cybernetics, Tallinn Technical University, Tallinn, Estonia, EE |
| Abstract: | This paper describes how the cash-point service can be modelled and simulated using the NUT system. Received February 2000 / Accepted in revised form December 2000 |
| Keywords: | : Intuitionistic logic NUT Simulation Structural program synthesis |
| 本文献已被 SpringerLink 等数据库收录！ | |