A Chaos-free failures-divergences semantics with applications to verification

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

Translated title of the contribution	A Chaos-free failures-divergences semantics with applications to verification
Original language	English
Title of host publication	Millenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare
Editors	J. Davies
Place of Publication	Iso Britannia
Publisher	Antony Rowe Limited
Pages	365-382
Publication status	Published - 2000
Publication type	A4 Article in conference proceedings

Publication forum classification

@inproceedings{a86394d237a64b97a8ecdebb89dd3ef2,

title = "A Chaos-free failures-divergences semantics with applications to verification",

author = "A. Valmari",

note = "ISBN 0-333-92230-1<br/>Contribution: organisation=ohj,FACT1=1",

year = "2000",

language = "English",

pages = "365--382",

editor = "J. Davies",

booktitle = "Millenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare",

publisher = "Antony Rowe Limited",

}

A Chaos-free failures-divergences semantics with applications to verification. / Valmari, A.
Millenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare. ed. / J. Davies. Iso Britannia: Antony Rowe Limited, 2000. p. 365-382.

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

TY - GEN

T1 - A Chaos-free failures-divergences semantics with applications to verification

AU - Valmari, A.

N1 - ISBN 0-333-92230-1<br/>Contribution: organisation=ohj,FACT1=1

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 365

EP - 382

BT - Millenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare

A2 - Davies, J.

PB - Antony Rowe Limited

CY - Iso Britannia

ER -