Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems

Research areas:	Uncategorized	Year:	2005
Type of Publication:	In Proceedings
Authors:	2, 8 12
Book title:	27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS)
Pages:	1-5
Address:	St. Louis, Missouri, USA
Month:	May
BibTex:
@conference{PGLB05c, author = "2,12,8,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez", address = "St. Louis, Missouri, USA", booktitle = "27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS)", month = "may", pages = "1--5", publisher = "ACM Press", title = "{L}ocating {C}rosscutting {C}oncerns in the {F}ormal {S}pecification of {D}istributed {R}eactive {S}ystems", year = "2005", }