Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Nir Piterman; Scott Smolka

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Nir Piterman
, Scott Smolka

Computer Science

University of Leicester

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	XI-XII
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7795 LNCS
State	Published - 2013
Event	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 - Rome, Italy Duration: Mar 16 2013 → Mar 24 2013

Cite this

@article{43d25f62fd274e5b99f8427b04d3c2e1,

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

author = "Nir Piterman and Scott Smolka",

year = "2013",

language = "English",

volume = "7795 LNCS",

pages = "XI--XII",

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

issn = "0302-9743",

note = "19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 ; Conference date: 16-03-2013 Through 24-03-2013",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Piterman, Nir; Smolka, Scott.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7795 LNCS, 2013, p. XI-XII.

Research output: Contribution to journal › Editorial

TY - JOUR

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

T2 - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013

AU - Piterman, Nir

AU - Smolka, Scott

PY - 2013

Y1 - 2013

UR - https://www.scopus.com/pages/publications/84874421054

M3 - Editorial

AN - SCOPUS:84874421054

SN - 0302-9743

VL - 7795 LNCS

SP - XI-XII

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

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

Y2 - 16 March 2013 through 24 March 2013

ER -

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Other files and links

Fingerprint

Cite this