Towards a Tool for Derivation of Implementation Constraints

P. Mattias Weckstén, Jonas Vasell, Magnus Jonsson. Towards a Tool for Derivation of Implementation Constraints. In 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy. pages 119-127, IEEE Computer Society, 2004. [doi]

@inproceedings{WeckstenVJ04,
  title = {Towards a Tool for Derivation of Implementation Constraints},
  author = {P. Mattias Weckstén and Jonas Vasell and Magnus Jonsson},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/iceccs/2004/2109/00/21090119abs.htm},
  tags = {constraints},
  researchr = {https://researchr.org/publication/WeckstenVJ04},
  cites = {0},
  citedby = {0},
  pages = {119-127},
  booktitle = {9th  International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2109-6},
}