<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<inproceedings key="conf/compsac/ShanZ04" mdate="2023-03-24">
<author>Lijun Shan</author>
<author>Hong Zhu 0002</author>
<title>Consistency Check in Modelling Multi-Agent Systems.</title>
<pages>114-119</pages>
<year>2004</year>
<crossref>conf/compsac/2004</crossref>
<booktitle>COMPSAC</booktitle>
<ee>https://doi.org/10.1109/CMPSAC.2004.1342814</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342814</ee>
<url>db/conf/compsac/compsac2004-R.html#ShanZ04</url>
</inproceedings></dblp>
