BibTeX record conf/issta/MorascaMP96

download as .bib file

@inproceedings{DBLP:conf/issta/MorascaMP96,
  author       = {Sandro Morasca and
                  Angelo Morzenti and
                  Pierluigi {San Pietro}},
  editor       = {Steve J. Zeil and
                  Will Tracz},
  title        = {Generating Functional Test Cases in-the-large for Time-critical Systems
                  from Logic-based Specifications},
  booktitle    = {Proceedings of the 1996 International Symposium on Software Testing
                  and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
  pages        = {39--52},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/229000.226300},
  doi          = {10.1145/229000.226300},
  timestamp    = {Thu, 03 Feb 2022 13:12:45 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/MorascaMP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics