%0 Conference Paper %1 conf/ctrs/MohanS87 %A Mohan, Chilukuri K. %A Srivas, Mandayam K. %B CTRS %D 1987 %E Kaplan, Stéphane %E Jouannaud, Jean-Pierre %I Springer %K dblp %P 161-178 %T Conditional Specification with Inequational Assumptions. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs87.html#MohanS87 %V 308 %@ 3-540-19242-5

@inproceedings{conf/ctrs/MohanS87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Mohan, Chilukuri K. and Srivas, Mandayam K.}, biburl = {https://www.bibsonomy.org/bibtex/2a0023322f5579c827605fbf3fdfd8c0c/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1987}, editor = {Kaplan, Stéphane and Jouannaud, Jean-Pierre}, ee = {https://doi.org/10.1007/3-540-19242-5_13}, interhash = {4c731538b72a0385e18078b26234400b}, intrahash = {a0023322f5579c827605fbf3fdfd8c0c}, isbn = {3-540-19242-5}, keywords = {dblp}, pages = {161-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:12:51.000+0200}, title = {Conditional Specification with Inequational Assumptions.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs87.html#MohanS87}, volume = 308, year = 1987 }