BibTeX记录conf/isac/BarkatouCWV16
@正在进行{DBLP:conf/isac/BarkatouCWV16， author={Moulay A.Barkatou和 托马斯·克鲁佐和 雅克 {-}亚瑟 韦尔和 露西娅·迪·维齐奥（Lucia Di Vizio）， editor={Sergei A.Abramov和 尤金·V·齐马和 肖 {-}山 高}， title={计算线性微分伽罗瓦群的李代数 差动系统}， booktitle={ACM}关于符号和 代数计算，{ISSAC}2016，滑铁卢，安大略省，加拿大，7月19-22日， 2016}, 页数={63--70}， publisher={{ACM}}， 年份={2016年}， url={ https://doi.org/10.1145/2930889.2930932 }, doi＝{10.1145/2930889.9930932}， 时间戳＝{2018年11月6日星期二16:57:05+0100}， biburl={ https://dblp.org/rec/conf/issac/BarkatouCWV16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
