The Bedwyr system for model checking over syntactic expressions

David Baelde; Andrew Gacek; Dale Miller; Gopalan Nadathur; Alwen Tiu

doi:10.1007/978-3-540-73595-3_28

The Bedwyr system for model checking over syntactic expressions

David Baelde
, Andrew Gacek
, Dale Miller
, Gopalan Nadathur
, Alwen Tiu

Laboratoire d'Informatique (LIX)
University of Minnesota Twin Cities
Australian National University

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

51 Citations (Scopus)

langue originale	Anglais
titre	Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings
Editeur	Springer Verlag
Pages	391-397
Nombre de pages	7
ISBN (imprimé)	3540735941, 9783540735946
Les DOIs	https://doi.org/10.1007/978-3-540-73595-3_28
état	Publié - 1 janv. 2007
Evénement	21st International Conference on Automated Deduction, CADE-21 2007 - Bremen, Allemagne Durée: 17 juil. 2007 → 20 juil. 2007

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4603 LNAI
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	21st International Conference on Automated Deduction, CADE-21 2007
Pays/Territoire	Allemagne
La ville	Bremen
période	17/07/07 → 20/07/07

Accès au document

10.1007/978-3-540-73595-3_28

Contient cette citation

Baelde, D., Gacek, A., Miller, D., Nadathur, G., & Tiu, A. (2007). The Bedwyr system for model checking over syntactic expressions. Dans Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings (p. 391-397). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4603 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-73595-3_28

Baelde, David ; Gacek, Andrew ; Miller, Dale et al. / The Bedwyr system for model checking over syntactic expressions. Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag, 2007. p. 391-397 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b49f67443ed54e03aa4ee42df16fc72c,

title = "The Bedwyr system for model checking over syntactic expressions",

author = "David Baelde and Andrew Gacek and Dale Miller and Gopalan Nadathur and Alwen Tiu",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-73595-3\_28",

language = "English",

isbn = "3540735941",

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

publisher = "Springer Verlag",

pages = "391--397",

booktitle = "Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings",

note = "21st International Conference on Automated Deduction, CADE-21 2007 ; Conference date: 17-07-2007 Through 20-07-2007",

}

Baelde, D, Gacek, A, Miller, D, Nadathur, G & Tiu, A 2007, The Bedwyr system for model checking over syntactic expressions. Dans Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 4603 LNAI, Springer Verlag, p. 391-397, 21st International Conference on Automated Deduction, CADE-21 2007, Bremen, Allemagne, 17/07/07. https://doi.org/10.1007/978-3-540-73595-3_28

The Bedwyr system for model checking over syntactic expressions. / Baelde, David; Gacek, Andrew; Miller, Dale et al.
Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag, 2007. p. 391-397 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4603 LNAI).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - The Bedwyr system for model checking over syntactic expressions

AU - Baelde, David

AU - Gacek, Andrew

AU - Miller, Dale

AU - Nadathur, Gopalan

AU - Tiu, Alwen

PY - 2007/1/1

Y1 - 2007/1/1

U2 - 10.1007/978-3-540-73595-3_28

DO - 10.1007/978-3-540-73595-3_28

M3 - Conference contribution

AN - SCOPUS:35148871781

SN - 3540735941

SN - 9783540735946

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

SP - 391

EP - 397

BT - Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings

PB - Springer Verlag

T2 - 21st International Conference on Automated Deduction, CADE-21 2007

Y2 - 17 July 2007 through 20 July 2007

ER -

Baelde D, Gacek A, Miller D, Nadathur G, Tiu A. The Bedwyr system for model checking over syntactic expressions. Dans Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag. 2007. p. 391-397. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73595-3_28