ICS: Integrated canonizer and solver

Jean Christophe Filliâtre; Sam Owre; Harald Rueß; Natarajan Shankar

doi:10.1007/3-540-44585-4_22

ICS: Integrated canonizer and solver

Jean Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings
Editors	Hubert Comon, Alain Finkel, Gérard Berry
Publisher	Springer Verlag
Pages	246-249
Number of pages	4
ISBN (Print)	3540423451
DOIs	https://doi.org/10.1007/3-540-44585-4_22
Publication status	Published - 1 Jan 2001
Externally published	Yes
Event	13th International Conference on Computer Aided Verification, CAV 2001 - Paris, France Duration: 18 Jul 2001 → 22 Jul 2001

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2102
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Computer Aided Verification, CAV 2001
Country/Territory	France
City	Paris
Period	18/07/01 → 22/07/01

Access to Document

10.1007/3-540-44585-4_22

Cite this

Filliâtre, J. C., Owre, S., Rueß, H., & Shankar, N. (2001). ICS: Integrated canonizer and solver. In H. Comon, A. Finkel, & G. Berry (Eds.), Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings (pp. 246-249). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2102). Springer Verlag. https://doi.org/10.1007/3-540-44585-4_22

Filliâtre, Jean Christophe ; Owre, Sam ; Rueß, Harald et al. / ICS : Integrated canonizer and solver. Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. editor / Hubert Comon ; Alain Finkel ; Gérard Berry. Springer Verlag, 2001. pp. 246-249 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{77e9311296be46a1b25e95a06f52d4da,

title = "ICS: Integrated canonizer and solver",

author = "Filli{\^a}tre, \{Jean Christophe\} and Sam Owre and Harald Rue{\ss} and Natarajan Shankar",

year = "2001",

month = jan,

day = "1",

doi = "10.1007/3-540-44585-4\_22",

language = "English",

isbn = "3540423451",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "246--249",

editor = "Hubert Comon and Alain Finkel and G{\'e}rard Berry",

booktitle = "Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings",

note = "13th International Conference on Computer Aided Verification, CAV 2001 ; Conference date: 18-07-2001 Through 22-07-2001",

}

Filliâtre, JC, Owre, S, Rueß, H & Shankar, N 2001, ICS: Integrated canonizer and solver. in H Comon, A Finkel & G Berry (eds), Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2102, Springer Verlag, pp. 246-249, 13th International Conference on Computer Aided Verification, CAV 2001, Paris, France, 18/07/01. https://doi.org/10.1007/3-540-44585-4_22

ICS: Integrated canonizer and solver. / Filliâtre, Jean Christophe; Owre, Sam; Rueß, Harald et al.
Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. ed. / Hubert Comon; Alain Finkel; Gérard Berry. Springer Verlag, 2001. p. 246-249 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2102).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - ICS

T2 - 13th International Conference on Computer Aided Verification, CAV 2001

AU - Filliâtre, Jean Christophe

AU - Owre, Sam

AU - Rueß, Harald

AU - Shankar, Natarajan

PY - 2001/1/1

Y1 - 2001/1/1

U2 - 10.1007/3-540-44585-4_22

DO - 10.1007/3-540-44585-4_22

M3 - Conference contribution

AN - SCOPUS:84958751994

SN - 3540423451

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 246

EP - 249

BT - Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings

A2 - Comon, Hubert

A2 - Finkel, Alain

A2 - Berry, Gérard

PB - Springer Verlag

Y2 - 18 July 2001 through 22 July 2001

ER -

Filliâtre JC, Owre S, Rueß H, Shankar N. ICS: Integrated canonizer and solver. In Comon H, Finkel A, Berry G, editors, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Springer Verlag. 2001. p. 246-249. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44585-4_22