%0 Conference Paper %1 conf/isss/JanssenCM94 %A Janssen, Martin %A Catthoor, Francky %A Man, Hugo De %B HLSS %D 1994 %E Paulin, Pierre G. %I ACM %K dblp %P 146-151 %T A specification invariant technique for operation cost minimisation in flow-graphs. %U http://dblp.uni-trier.de/db/conf/isss/hlss1994.html#JanssenCM94 %@ 0-8186-5785-5

@inproceedings{conf/isss/JanssenCM94, added-at = {2018-11-26T00:00:00.000+0100}, author = {Janssen, Martin and Catthoor, Francky and Man, Hugo De}, biburl = {https://www.bibsonomy.org/bibtex/29a9b95fc8139e05e571ae19e06236ace/dblp}, booktitle = {HLSS}, crossref = {conf/isss/1994}, editor = {Paulin, Pierre G.}, ee = {http://dl.acm.org/citation.cfm?id=254258}, interhash = {ac822f3203ac3a0cb633e8b09c3db614}, intrahash = {9a9b95fc8139e05e571ae19e06236ace}, isbn = {0-8186-5785-5}, keywords = {dblp}, pages = {146-151}, publisher = {ACM}, timestamp = {2024-04-09T18:43:46.000+0200}, title = {A specification invariant technique for operation cost minimisation in flow-graphs.}, url = {http://dblp.uni-trier.de/db/conf/isss/hlss1994.html#JanssenCM94}, year = 1994 }