Model checking: recent improvements and applications
- 期刊名称International Journal on Software Tools for Technology Transfer
- 作者Bošnački, Dragan; Wijs, Anton
- 卷第20卷
- 期第5期
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小377.00KB
- 发表时间2018-10
- DOI10.1007/s10009-018-0501-x
- 页码493-497
同期刊推荐
Acknowledgement to Referees 2013Deutscher, Jan; Kupec, Petr · Polar Biology · 2014
Acknowledgment to Referees 2014Polar Biology · 2015
Acknowledgment to referees 2015Polar Biology · 2016
Data reporting and visualization in ecologyGreenacre, Michael · Polar Biology · 2016
Acknowledgment to Referees 2016Polar Biology · 2017
Acknowledgment to Referees 2017Polar Biology · 2018
Kleptoparasitism in foraging gentoo penguinsPygoscelis papuaHandley, Jonathan M.; Pistorius, Pierre · Polar Biology · 2016
Distribution of macroalgae in Kongsfjorden, SvalbardHop, Haakon; Kovaltchouk, Nikolaj A.; Wiencke, Christian · Polar Biology · 2016