Preface

Arend Rensink; Bart Jacobs

Preface

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

Original language	English
Title of host publication	Formal Methods for Open Object-Based Distributed Systems V
Subtitle of host publication	IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems
Volume	81
ISBN (Electronic)	978-0-387-35496-5
Publication status	Published - 1 Jan 2002
Event	5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002 - Enschede, Netherlands Duration: 20 Mar 2002 → 22 Mar 2002 Conference number: 5

Publication series

Name	IFIP advances in information and communication technology
Publisher	Springer
ISSN (Print)	1868-4238

Conference

Conference	5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002
Abbreviated title	FMOODS
Country/Territory	Netherlands
City	Enschede
Period	20/03/02 → 22/03/02

Cite this

@inbook{92df3cdef94945cdb670e0e59998f32c,

title = "Preface",

author = "Arend Rensink and Bart Jacobs",

year = "2002",

month = jan,

day = "1",

language = "English",

isbn = "978-0-7923-7683-5",

volume = "81",

series = "IFIP advances in information and communication technology",

publisher = "Springer",

booktitle = "Formal Methods for Open Object-Based Distributed Systems V",

note = "5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002, FMOODS ; Conference date: 20-03-2002 Through 22-03-2002",

}

Rensink, A & Jacobs, B 2002, Preface. in Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems. vol. 81, IFIP advances in information and communication technology, 5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002, Enschede, Netherlands, 20/03/02.

Preface. / Rensink, Arend; Jacobs, Bart.
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems. Vol. 81 2002. (IFIP advances in information and communication technology).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

TY - CHAP

T1 - Preface

AU - Rensink, Arend

AU - Jacobs, Bart

N1 - Conference code: 5

PY - 2002/1/1

Y1 - 2002/1/1

UR - http://www.scopus.com/inward/record.url?scp=84891342394&partnerID=8YFLogxK

M3 - Foreword/postscript

AN - SCOPUS:84891342394

SN - 978-0-7923-7683-5

SN - 978-1-4757-5268-7

VL - 81

T3 - IFIP advances in information and communication technology

BT - Formal Methods for Open Object-Based Distributed Systems V

T2 - 5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002

Y2 - 20 March 2002 through 22 March 2002

ER -

Preface

Publication series

Conference

Other files and links

Cite this