Temporal theories as modularisation units fpr concurrent system specification

Authors
J.Fradeiro,T.Maibaum
Citation
J.fradeiro,t.maibaum, Temporal theories as modularisation units fpr concurrent system specification, Formal aspects of computing The international journal of formal methods , 4(3), 1992, pp. 239-272
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
4
Issue
3
Year of publication
1992
Pages
239 - 272
Database
ACNP
SICI code