MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Tran, Duc-Khanhdblp
Not MPG Author(s):
Lynch, Christopher
Editor(s):
Kim, Moonzoo
Viswanathan, Mahesh
dblp
dblp
BibTeX cite key*:
Tran2008
Title, Booktitle
Title*:
SMELS: Satisfiability Modulo Equality with Lazy Superposition
Booktitle*:
6th International Symposium on Automated Technology for Verification and Analysis
Event, URLs
Conference URL::
http://pswlab.kaist.ac.kr/atva2008/
Downloading URL:
Event Address*:
Korea
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
20 October 2008
Event End Date:
23 October 2008
Publisher
Name*:
Springer
URL:
Address*:
Berlin
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
5311
Number:
Month:
October
Pages:
186-200
Year*:
2008
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Tran2008,
AUTHOR = {Tran, Duc-Khanh},
EDITOR = {Kim, Moonzoo and Viswanathan, Mahesh},
TITLE = {SMELS: Satisfiability Modulo Equality with Lazy Superposition},
BOOKTITLE = {6th International Symposium on Automated Technology for Verification and Analysis},
PUBLISHER = {Springer},
YEAR = {2008},
VOLUME = {5311},
PAGES = {186--200},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Korea},
MONTH = {October},
}


Entry last modified by Duc-Khanh Tran, 03/03/2009
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Duc-Khanh Tran
Created
09/04/2008 02:16:43 PM
Revision
0.



Editor
Duc-Khanh Tran



Edit Date
09/04/2008 02:16:43 PM