Publikacje

Czasopismo: Science of Computer Programming

2018

• Kamil Kedzia, Andrzej M. Kierzek, Wojtek Ptak, Jacek Sroka , Simulation of multicellular populations with Petri nets and genome scale intracellular networks, Science of Computer Programming, 157 2018, s. 3-16. Zobacz w PBN

2017

• Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Specification refinements: Calculi, tools, and applications, Science of Computer Programming, 144 2017, s. 1-49. Zobacz w PBN