MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Maier, Patrickdblp
Editor(s):
Charatonik, Witold
Ganzinger, Harald		dblp
dblp
BibTeX cite key*:
Maier2002
Title, Booktitle
Title*:
A Framework for Circular Assume-Guarantee Rules
Booktitle*:
Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Event, URLs
Conference URL::
http://www.mpi-sb.mpg.de/conferences/elics02/index.html
Downloading URL:
Event Address*:
Saarbrücken, Germany
Language:
English
Event Date*
(no longer used):
March 4 - 6, 2002
Organization:
Event Start Date:
4 March 2002
Event End Date:
6 March 2002
Publisher
Name*:
Max-Planck-Institut für Informatik
URL:
http://www.mpi-sb.mpg.de/
Address*:
Saarbrücken, Germany
Type:
Vol, No, Year, pp.
Series:
MPI Research Report
Volume:
MPI-I-2002-2-007
Number:
Month:
March
Pages:
55-58
Year*:
2002
VG Wort Pages:
4
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:
@INPROCEEDINGS{Maier2002,
AUTHOR = {Maier, Patrick},
 EDITOR = {Charatonik, Witold and Ganzinger, Harald},
 TITLE = {A Framework for Circular Assume-Guarantee Rules},
 BOOKTITLE = {Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi},
 PUBLISHER = {Max-Planck-Institut für Informatik},
 YEAR = {2002},
 VOLUME = {MPI-I-2002-2-007},
 PAGES = {55--58},
 SERIES = {MPI Research Report},
 ADDRESS = {Saarbr{\"u}cken, Germany},
 MONTH = {March},
}

Entry last modified by Christine Kiesel, 03/12/2010
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)
Patrick Maier		Created
04/16/2003 11:33:35 AM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Patrick Maier
Edit Dates
29.07.2003 18:16:39
29.07.2003 15:09:36
07.07.2003 15:25:13
04/16/2003 11:33:35 AM