%0 Conference Paper %1 conf/sas/CodishFMW92 %A Codish, Michael %A Falaschi, Moreno %A Marriott, Kim %A Winsborough, William H. %B WSA %D 1992 %E Billaud, Michel %E Castéran, Pierre %E Corsini, Marc-Michel %E Musumbu, Kaninda %E Rauzy, Antoine %I Atelier Irisa, IRISA, Campus de Beaulieu %K dblp %P 35-42 %T Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. %U http://dblp.uni-trier.de/db/conf/sas/wsa92.html#CodishFMW92 %V 81-82

@inproceedings{conf/sas/CodishFMW92, added-at = {2015-09-02T00:00:00.000+0200}, author = {Codish, Michael and Falaschi, Moreno and Marriott, Kim and Winsborough, William H.}, biburl = {https://www.bibsonomy.org/bibtex/228d04e4cd96ff3258bca81699bad1008/dblp}, booktitle = {WSA}, crossref = {conf/sas/1992}, editor = {Billaud, Michel and Castéran, Pierre and Corsini, Marc-Michel and Musumbu, Kaninda and Rauzy, Antoine}, interhash = {e1430f7d02fdb69933760c4197f624c0}, intrahash = {28d04e4cd96ff3258bca81699bad1008}, keywords = {dblp}, pages = {35-42}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, series = {Series Bigre}, timestamp = {2018-07-18T11:43:14.000+0200}, title = {Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/sas/wsa92.html#CodishFMW92}, volume = {81-82}, year = 1992 }