PSI 2014:BibTeX Entries

Volume

@proceedings{PSI2014,
  title     = {PSI 2014. Ershov Informatics Conference},
  editor    = {Irina Virbitskaite and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {23},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{PSI2014:Making_Evolution_of_Graphical,
  author    = {Thomas Baar and Issam Bendaas},
  title     = {Making the Evolution of Graphical Models Visible},
  booktitle = {PSI 2014. Ershov Informatics Conference},
  editor    = {Irina Virbitskaite and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {23},
  pages     = {1--8},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8tHc},
  doi       = {10.29007/fqc6}}

@inproceedings{PSI2014:Sufficient_Condition_for_Observational,
  author    = {Andrew Mironov},
  title     = {A Sufficient Condition for the Observational Equivalence of Processes},
  booktitle = {PSI 2014. Ershov Informatics Conference},
  editor    = {Irina Virbitskaite and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {23},
  pages     = {9--29},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/12},
  doi       = {10.29007/hs67}}

@inproceedings{PSI2014:Turchins_Relation_and_Subsequence,
  author    = {Antonina Nepeivoda},
  title     = {Turchin's Relation and Subsequence Relation in Loop Approximation},
  booktitle = {PSI 2014. Ershov Informatics Conference},
  editor    = {Irina Virbitskaite and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {23},
  pages     = {30--42},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/vJxn},
  doi       = {10.29007/xqx9}}

@inproceedings{PSI2014:Multiple_Ant_Colony_Optimization,
  author    = {Zhengmao Ye and Habib Mohamadian},
  title     = {Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems},
  booktitle = {PSI 2014. Ershov Informatics Conference},
  editor    = {Irina Virbitskaite and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {23},
  pages     = {43--54},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/FvV},
  doi       = {10.29007/8tjs}}