DBLP Record 'conf/aii/Ejsmont85'

BibTeX

@inproceedings{DBLP:conf/aii/Ejsmont85,
  author    = {Marek Ejsmont},
  title     = {One more property of array languages},
  booktitle = {Mathematical Methods of Specification and Synthesis of Software
               Systems},
  year      = {1985},
  pages     = {162-168},
  crossref  = {DBLP:conf/aii/1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aii/1985,
  editor    = {Wolfgang Bibel and
               Klaus P. Jantke},
  title     = {Mathematical Methods of Specification and Synthesis of Software
               Systems '85, Proceedings of the International Spring School,
               Wendisch-Rietz, GDR, April 22-26, 1985},
  booktitle = {Mathematical Methods of Specification and Synthesis of Software
               Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {215},
  year      = {1986},
  isbn      = {3-540-16444-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}