Verification-Friendly Specification of Distributed Systems

P. Kellomäki

Verification-Friendly Specification of Distributed Systems

P. Kellomäki

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

Translated title of the contribution	Verification-Friendly Specification of Distributed Systems
Original language	English
Title of host publication	Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China
Editors	F. Yulin
Place of Publication	Beijing, China
Publisher	Publishing House of Electronics Industry, International Federation for Information Processing
Pages	480-483
Publication status	Published - 2000
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{8776375b8dce4757b746386ed0c75ff9,

title = "Verification-Friendly Specification of Distributed Systems",

author = "P. Kellom{\"a}ki",

note = "ISBN 3-901882-04-9<br/>Contribution: organisation=ohj,FACT1=1",

year = "2000",

language = "English",

pages = "480--483",

editor = "F. Yulin",

booktitle = "Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China",

publisher = "Publishing House of Electronics Industry, International Federation for Information Processing",

}

Verification-Friendly Specification of Distributed Systems. / Kellomäki, P.
Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. ed. / F. Yulin. Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, 2000. p. 480-483.

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

TY - GEN

T1 - Verification-Friendly Specification of Distributed Systems

AU - Kellomäki, P.

N1 - ISBN 3-901882-04-9<br/>Contribution: organisation=ohj,FACT1=1

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 480

EP - 483

BT - Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China

A2 - Yulin, F.

PB - Publishing House of Electronics Industry, International Federation for Information Processing

CY - Beijing, China

ER -