SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study

Research areas:	Uncategorized	Year:	2001
Type of Publication:	Article
Authors:	2, 12
Journal:	Formal Aspects of Computing	Volume:	13
Pages:	50-91
BibTex:
@article{PG01, author = "2,12", journal = "Formal Aspects of Computing", pages = "50--91", title = "{SCTL}-{MUS}: {A} {F}ormal {M}ethodology for {S}oftware {D}evelopment of {D}istributed {S}ystems. {A} {C}ase {S}tudy", volume = "13", year = "2001", }