Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{vanOmmering:2001:LFV, author = "Rob van Ommering and Ren{\'e} Krikhaar and Loe Feijs", title = "Languages for formalizing, visualizing and verifying software architectures", journal = j-COMP-LANGS, volume = "27", number = "1--3", pages = "3--18", month = apr # "--" # oct, year = "2001", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Thu Feb 21 11:38:10 MST 2002", bibsource = "http://www.elsevier.com/locate/complang; http://www.math.utah.edu/pub/tex/bib/complngs.bib", URL = "http://www.elsevier.com/gej-ng/10/15/18/54/27/28/abstract.html", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/00960551", }