Work

Temporal Concurrent Constraint Programming

Year: 2001

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

DOI: 10.1007/3-540-45578-7_84

Author: Frank D. Valencia

Institution: Aarhus University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1501958836

FWCI: 1.539

Cites: 19

Cited by: 19

Related to: 10