Generation of Efficient Programs for Solving Maximum Multi-marking Problems

Isao Sasano, Zhenjiang Hu, Masato Takeichi. Generation of Efficient Programs for Solving Maximum Multi-marking Problems. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings. Volume 2196 of Lecture Notes in Computer Science, pages 72-91, Springer, 2001. [doi]

@inproceedings{SasanoHT01,
  title = {Generation of Efficient Programs for Solving Maximum Multi-marking Problems},
  author = {Isao Sasano and Zhenjiang Hu and Masato Takeichi},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm},
  researchr = {https://researchr.org/publication/SasanoHT01},
  cites = {0},
  citedby = {0},
  pages = {72-91},
  booktitle = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  editor = {Walid Taha},
  volume = {2196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42558-6},
}