Specification and Analysis of System Architecture Using Rapide
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
IEEE Transactions on Software Engineering 21(4), pages 336-354, April 1995
IEEE Computer Society
@article{rapide-tse21,
Author = {Luckham, David C. and Kenney, John J. and Augustin, Larry M. and Vera, James and Bryan, Doug and Mann, Walter},
Doi = {10.1109/32.385971},
Inspec-An = {4969551},
Issn = {0098-5589},
Journal = {IEEE Transactions on Software Engineering},
Month = apr,
Number = 4,
Pages = {336--354},
Publisher = {IEEE Computer Society},
Title = {Specification and Analysis of System Architecture Using {R}apide},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=385971},
Volume = 21,
Year = 1995}
Author = {Luckham, David C. and Kenney, John J. and Augustin, Larry M. and Vera, James and Bryan, Doug and Mann, Walter},
Doi = {10.1109/32.385971},
Inspec-An = {4969551},
Issn = {0098-5589},
Journal = {IEEE Transactions on Software Engineering},
Month = apr,
Number = 4,
Pages = {336--354},
Publisher = {IEEE Computer Society},
Title = {Specification and Analysis of System Architecture Using {R}apide},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=385971},
Volume = 21,
Year = 1995}