Conference Publication Details

Mandatory Fields

Authors

Raphael A. Finkel, Barry O'Sullivan

Conference Title

ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence

Title of Paper

Reasoning about Conditional Constraint Specifications.

Year

2009

Month

November

Status

Published

Peer Reviewed

0

Times Cited

()

Optional Fields

Keywords

Editors

Start Page

349

End Page

353

Location

Newark

Start Date

End Date

Abstract

Funded By

URL

DOI Link

10.1109/ICTAI.2009.88

Grant Details

Funding Body

Grant Details