Article thumbnail

Modularity and Temporal Reasoning: A Logic Programming Approach

By Vitor Nogueira and Salvador Abreu
Publisher: 'Institute of Electrical and Electronics Engineers (IEEE)'
Year: 2008
DOI identifier: 10.1109/time.2007.53
OAI identifier:
Provided by: MUCC (Crossref)

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

Suggested articles