EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


1430 Extending CTL with Actions and Real-Time
 Home Policy Brochure Browse Search User Area Contact Help

Jansen, D.N. and Wieringa, R.J. (2000) Extending CTL with Actions and Real-Time. In: International Conference on Temporal Logic, Leipzig. pp. 105-114. s. n..

Full text not available from this repository.


Item Type:Conference or Workshop Paper (Extended Abstract, Talk)
Research Group:EWI-IS: Information Systems
Research Project:DEIRDRE: Deontic Integrity Rules, Deadlines and Real Time in Databases
Additional Information:An updated version of this conference paper has appeared in the Journal of Logic and Computation, 12(4)2002:607-621.
ID Code:1430
Status:Published
Deposited On:22 August 2006
Refereed:Yes
International:Yes
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item