Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems

Research areas:	Uncategorized	Year:	2005
Type of Publication:	Article
Authors:	2, 8 12
Journal:	ACM Software Engineering Notes	Volume:	30
Number:	4	Pages:	1-5
Month:	July
BibTex:
@article{PGLB05a, author = "2,12,8,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez", journal = "ACM Software Engineering Notes", month = "jul", number = "4", pages = "1--5", title = "{L}ocating {C}rosscutting {C}oncerns in the {F}ormal {S}pecification of {D}istributed {R}eactive {S}ystems", volume = "30", year = "2005", }