%0 Journal Article %1 journals/jacic/BennettBHIW10 %A Bennett, Matthew %A Borgen, Richard %A Havelund, Klaus %A Ingham, Michel D. %A Wagner, David A. %D 2010 %J JACIC %K %N 11 %P 338-364 %T Prototyping a Domain-Specific Language for Monitor and Control Systems. %U http://dblp.uni-trier.de/db/journals/jacic/jacic7.html#BennettBHIW10 %V 7

@article{journals/jacic/BennettBHIW10, added-at = {2023-12-14T16:35:10.000+0100}, author = {Bennett, Matthew and Borgen, Richard and Havelund, Klaus and Ingham, Michel D. and Wagner, David A.}, biburl = {https://www.bibsonomy.org/bibtex/257e66f85d147cb39987a25179c7c42c6/admin}, ee = {https://doi.org/10.2514/1.40331}, interhash = {fa2be31f29660306366112616a0e2cca}, intrahash = {57e66f85d147cb39987a25179c7c42c6}, journal = {JACIC}, keywords = {}, number = 11, pages = {338-364}, timestamp = {2023-12-14T16:35:10.000+0100}, title = {Prototyping a Domain-Specific Language for Monitor and Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/jacic/jacic7.html#BennettBHIW10}, volume = 7, year = 2010 }