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

Rohit Gheyi; David Naumann

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

Rohit Gheyi
, David Naumann

Department of Computer Science

Universidade Federal de Campina Grande

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7498 LNCS
State	Published - 2012
Event	15th Brazilian Symposium on Formal Methods, SBMF 2012, Colocated with Third Brazilian Conference on Software:Theory and Practice, CBSoft 2012 - Natal, Brazil Duration: 23 Sep 2012 → 28 Sep 2012

Cite this

@article{04fca6f9507240158c45cda07a4262e0,

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

author = "Rohit Gheyi and David Naumann",

year = "2012",

language = "English",

volume = "7498 LNCS",

pages = "V",

note = "15th Brazilian Symposium on Formal Methods, SBMF 2012, Colocated with Third Brazilian Conference on Software:Theory and Practice, CBSoft 2012 ; Conference date: 23-09-2012 Through 28-09-2012",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Gheyi, Rohit; Naumann, David.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7498 LNCS, 2012, p. V.

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 - 15th Brazilian Symposium on Formal Methods, SBMF 2012, Colocated with Third Brazilian Conference on Software:Theory and Practice, CBSoft 2012

AU - Gheyi, Rohit

AU - Naumann, David

PY - 2012

Y1 - 2012

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

UR - https://www.scopus.com/pages/publications/84868219946#tab=citedBy

M3 - Editorial

AN - SCOPUS:84868219946

SN - 0302-9743

VL - 7498 LNCS

SP - V

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 - 23 September 2012 through 28 September 2012

ER -

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

Other files and links

Cite this