TY - GEN digital ID - 131228739 TI - Transactions on Petri Nets and Other Models of Concurrency III AU - Jensen, Kurt AU - Billington, Jonathan AU - Koutny, Maciej PY - 2009 SN - 9783642048562 PB - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Computer science KW - Programming KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - toegepaste informatica KW - vormgeving KW - informatica KW - simulaties KW - programmeren (informatica) KW - wiskunde KW - software engineering KW - logica UR - https://www.unicat.be/uniCat?func=search&query=sysid:131228739 AB - ER -