UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: M
Number of items: 2.


Miller, R.; Nuseibeh, B.; Russo, A.; Kramer, J.; (2002) An abductive approach for analysing event-based requirements specifications. In: Stuckey, P.J., (ed.) Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings. (pp. pp. 69-105). Springer Verlag: Berlin/ Heidelberg, Germany.

Miller, R.; Shanahan, M.; (2002) Some alternative formulations of the event calculus. In: Computational Logic: Logic Programming and Beyond. (pp. 95-111). Springer Berlin/ Heidelberg: Berlin/ Heidelberg, Germany.

This list was generated on Sun Jun 17 02:09:30 2018 BST.