@收款{zbMATH05215767，作者={Bidinger，Philippe and Compagnoni，Adriana}，标题={重新访问Pict正确性}，BookTitle={开放式基于对象的分布式系统的形式化方法。第九届IFIP WG 6.1国际会议FMOODS 2007，塞浦路斯帕福斯，2007年6月6-8日。会议记录。}，国际标准图书编号={978-3-540-72919-8}，页码={206--220}，年份={2007}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-72952-5_13}，关键词={68N19,68N15}，zbMATH={5215767}，Zbl={1202.68093}}