Combining dynamic deontic logic and temporal logic for the specification of deadlines
DSpace/Manakin Repository
Combining dynamic deontic logic and temporal logic for the specification of deadlines
(1997) Proceedings of thirtieth HICSS
(Conference report)
Download/Full Text
See more statistics about this item