Foreword

Jiri Srba, Scott A. Smolka

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)
EditorsJiri Srba, Scott A. Smolka
PublisherSpringer
Publication date2005
EditionENTCS
Publication statusPublished - 2005

Cite this

Srba, J., & Smolka, S. A. (2005). Foreword. In J. Srba, & S. A. Smolka (Eds.), Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) (ENTCS ed.). Springer.
Srba, Jiri ; Smolka, Scott A. / Foreword. Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). editor / Jiri Srba ; Scott A. Smolka. ENTCS. ed. Springer, 2005.
@inbook{ce7a1682346d4bd297cd27e3ef6a3103,
title = "Foreword",
author = "Jiri Srba and Smolka, {Scott A.}",
year = "2005",
language = "English",
editor = "Jiri Srba and Smolka, {Scott A. }",
booktitle = "Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)",
publisher = "Springer",
address = "Germany",
edition = "ENTCS",

}

Srba, J & Smolka, SA 2005, Foreword. in J Srba & SA Smolka (eds), Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). ENTCS edn, Springer.

Foreword. / Srba, Jiri; Smolka, Scott A.

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). ed. / Jiri Srba; Scott A. Smolka. ENTCS. ed. Springer, 2005.

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearchpeer-review

TY - GEN

T1 - Foreword

AU - Srba, Jiri

AU - Smolka, Scott A.

PY - 2005

Y1 - 2005

M3 - Preface/Introduction/postscript

BT - Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

A2 - Srba, Jiri

A2 - Smolka, Scott A.

PB - Springer

ER -

Srba J, Smolka SA. Foreword. In Srba J, Smolka SA, editors, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). ENTCS ed. Springer. 2005