BibTeX record conf/indiaSE/MSR17

• > Home > conf/indiaSE/MSR17

@inproceedings{DBLP:conf/indiaSE/MSR17,
  author       = {Anantha Padmanabha and
                  R. Ramanujam},
  editor       = {Sujit Kumar Chakrabarti and
                  Anh Nguyen{-}Duc},
  title        = {Model Checking a Logic over Systems with Regular Sets of Processes},
  booktitle    = {Joint Proceedings of the 3rd Modelling Symposium (ModSym), Developmental
                  Aspects of Intelligent Adaptive Systems (DIAS), and Educational Data
                  Mining Practices in Indian Academia {(EDUDM)} co-located with 10th
                  Innovations in Software Engineering {(ISEC} 2017), Jaipur, India,
                  February 5, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1819},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1819/dias2017-paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:31 +0100},
  biburl       = {https://dblp.org/rec/conf/indiaSE/MSR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}