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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2014}}

Papers

@inproceedings{PSI2014:Making_Evolution_Graphical_Models,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8tHc},
  doi       = {10.29007/fqc6},
  pages     = {1-8},
  year      = {2014}}


@inproceedings{PSI2014:Sufficient_Condition_Observational_Equivalence,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/12},
  doi       = {10.29007/hs67},
  pages     = {9-29},
  year      = {2014}}


@inproceedings{PSI2014:Turchins_Relation_Subsequence_Relation,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/vJxn},
  doi       = {10.29007/xqx9},
  pages     = {30-42},
  year      = {2014}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FvV},
  doi       = {10.29007/8tjs},
  pages     = {43-54},
  year      = {2014}}