Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Jensen, Kurt
Podelski, Andreas

dblp
dblp

Not MPG Author(s):

Jensen, Kurt

BibTeX cite key*:

Podelski2006e

Title

Title*:

Tools and algorithms for the construction and analysis of systems

Journal

Journal Title*:

International Journal on Software Tools for Technology Transfer

Journal's URL:


Download URL
for the article:

http://www.springerlink.com/content/9663lp8603472712/fulltext.pdf

Language:

English

Publisher

Publisher's
Name:

Springer

Publisher's URL:


Publisher's
Address:


ISSN:


Vol, No, pp, Date

Volume*:

8

Number:

3

Publishing Date:

2006

Pages*:

177-179

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

This special section contains the revised and expanded versions of eight of the papers from the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held in March/April 2004 in Barcelona, Spain. The conference proceedings appeared as volume 2988 in the Lecture Notes in Computer Science series published by Springer. TACAS is a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between different communities – including but not limited to those devoted to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, and communications protocols – that share common interests in, and techniques for, tool development. Other more theoretical papers from the conference are collected in a special section of the Theoretical Computer Science journal.

URL for the Abstract:

http://dx.doi.org/10.1007/s10009-006-0221-5

Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


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:

@ARTICLE{Podelski2006e,
AUTHOR = {Jensen, Kurt and Podelski, Andreas},
TITLE = {Tools and algorithms for the construction and analysis of systems},
JOURNAL = {International Journal on Software Tools for Technology Transfer},
PUBLISHER = {Springer},
YEAR = {2006},
NUMBER = {3},
VOLUME = {8},
PAGES = {177--179},
}


Entry last modified by Christine Kiesel, 01/28/2008
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
Christine Kiesel
Created
03/14/2007 12:19:56 PM
Revision
0.



Editor
Christine Kiesel



Edit Date
14.03.2007 12:25:14



Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section