Viliam Slodicák
Stefan Korecko
Ján Marcincin
Viliam Slodicák
CPN Assistant II: A Tool for Management of Networked Simulations.
408-417
2012
Petri Nets
https://doi.org/10.1007/978-3-642-31131-4_23
conf/apn/2012
db/conf/apn/pn2012.html#KoreckoMS12
Viliam Slodicák
Pavol Macko
Valerie Novitzká
Some New Approaches in Functional Programming Based on Categories.
517-532
2011
CEFP
https://doi.org/10.1007/978-3-642-32096-5_11
conf/cefp/2011
db/conf/cefp/cefp2011.html#SlodicakMN11
Viliam Slodicák
Pavol Macko
Some New Approaches in Functional Programming Using Algebras and Coalgebras.
41-62
2011
conf/wgt/2011
WGT
https://doi.org/10.1016/j.entcs.2011.11.037
https://www.wikidata.org/entity/Q113318139
db/conf/wgt/wgt2011.html#SlodicakM11
Stefan Korecko
Pavol Macko
Ján Marcincin
Valerie Novitzká