提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/wsfm/GardnerW09澳大利亚-菲利普·加德纳AU-驾驶室，Mark J。TI-树更新的小型规范。2009年9月4日至5日，意大利博洛尼亚WS-FM第六届国际研讨会，BT-网络服务和形式方法，修订论文集SP-178EP-1952009年//DO-2007年10月10日/978-3-642-14458-5_11UR-（欧元）https://doi.org/10.1007/978-3-642-14458-5_11急诊室-