Temporal Logic Based Specifications of Component Interaction Protocols

Jun Han

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of the ECOOP'2000 Workshop on Object Interoperability
Place of Publication	Caceres Spain
Publisher	Universidad de Extremadura
Pages	43 - 52
Number of pages	10
ISBN (Print)	8469925305
Publication status	Published - 2000
Event	2nd International workshop on Object Interoperability WOI'00 - Sophia Antipolis FRANCE, Caceres Spain Duration: 1 Jan 2000 → …

Conference	2nd International workshop on Object Interoperability WOI'00
City	Caceres Spain
Period	1/01/00 → …

Cite this

@inproceedings{fbd724ca13eb48fb9c7091ddd633370b,

title = "Temporal Logic Based Specifications of Component Interaction Protocols",

author = "Jun Han",

year = "2000",

language = "English",

isbn = "8469925305",

pages = "43 -- 52",

booktitle = "Proceedings of the ECOOP'2000 Workshop on Object Interoperability",

publisher = "Universidad de Extremadura",

note = "2nd International workshop on Object Interoperability WOI'00 ; Conference date: 01-01-2000",

}

TY - GEN

T1 - Temporal Logic Based Specifications of Component Interaction Protocols

AU - Han, Jun

PY - 2000

Y1 - 2000

M3 - Conference Paper

SN - 8469925305

SP - 43

EP - 52

BT - Proceedings of the ECOOP'2000 Workshop on Object Interoperability

PB - Universidad de Extremadura

CY - Caceres Spain

T2 - 2nd International workshop on Object Interoperability WOI'00

Y2 - 1 January 2000

ER -