Sharing attributes and actions in modal action logic. / RYAN, M ; FIADEIRO, J ; MAIBAUM, T .

In: Lecture Notes in Computer Science, Vol. 526, 1991, p. 569-593.

Research output: Contribution to journalArticle

Published

Standard

Sharing attributes and actions in modal action logic. / RYAN, M ; FIADEIRO, J ; MAIBAUM, T .

In: Lecture Notes in Computer Science, Vol. 526, 1991, p. 569-593.

Research output: Contribution to journalArticle

Harvard

RYAN, M, FIADEIRO, J & MAIBAUM, T 1991, 'Sharing attributes and actions in modal action logic', Lecture Notes in Computer Science, vol. 526, pp. 569-593.

APA

RYAN, M., FIADEIRO, J., & MAIBAUM, T. (1991). Sharing attributes and actions in modal action logic. Lecture Notes in Computer Science, 526, 569-593.

Vancouver

RYAN M, FIADEIRO J, MAIBAUM T. Sharing attributes and actions in modal action logic. Lecture Notes in Computer Science. 1991;526:569-593.

Author

RYAN, M ; FIADEIRO, J ; MAIBAUM, T . / Sharing attributes and actions in modal action logic. In: Lecture Notes in Computer Science. 1991 ; Vol. 526. pp. 569-593.

BibTeX

@article{c64b97a89cdf429697ab5c5c69bfbeaa,
title = "Sharing attributes and actions in modal action logic",
author = "M RYAN and J FIADEIRO and T MAIBAUM",
year = "1991",
language = "English",
volume = "526",
pages = "569--593",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

RIS

TY - JOUR

T1 - Sharing attributes and actions in modal action logic

AU - RYAN, M

AU - FIADEIRO, J

AU - MAIBAUM, T

PY - 1991

Y1 - 1991

M3 - Article

VL - 526

SP - 569

EP - 593

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -