D. Bosnacki
发表
D. Bosnacki,
2001
.
Dragan Bosnacki,
Stefan Edelkamp,
Damian Sulewski,
2009,
SPIN.
D. Bosnacki,
2001
.
Dragan Bošnački,
Sjouke Mauw,
Tim A. C. Willemse,
1999
.
Dragan Bošnački,
Sjouke Mauw,
Tac Tim Willemse,
1999
.
J. Vanschoren,
D. Bosnacki,
P. Hilbers,
2021
.
Dragan Bošnački,
D. Bosnacki,
1999
.
Dragan Bošnački,
Stefan Leue,
D. Bosnacki,
2002,
Lecture Notes in Computer Science.
Erik P. de Vink,
Dragan Bosnacki,
Tessa E. Pronk,
2009,
Trans. Comp. Sys. Biology.
Dragan Bosnacki,
Peter A. J. Hilbers,
Huub M. M. ten Eikelder,
2003,
METMBS.
Dragan Bosnacki,
Mitko Veta,
Natal A. W. van Riel,
2019,
Automated Reasoning for Systems Biology and Medicine.
C. Marr,
D. Bosnacki,
C. Matek,
2021,
Scientific Reports.
Dragan Bosnacki,
Dennis Dams,
D. Dams,
1998,
FORTE.
ten Hmm Huub Eikelder,
D. Bosnacki,
A. Elevelt,
2016,
Physics in medicine and biology.
A. Liekens,
D. Bosnacki,
M. Steijaert,
2010,
Mathematical biosciences.
Paj Peter Hilbers,
D. Bosnacki,
A. Elevelt,
2018,
Physics in medicine and biology.
Dragan Bosnacki,
Huub M. M. ten Eikelder,
Michel A. Westenberg,
2017,
VCBM.
Dragan Bosnacki,
Alberto Lluch-Lafuente,
Stefan Leue,
2006,
International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki,
Joost-Pieter Katoen,
Anton Wijs,
2014,
CAV.
Dragan Bosnacki,
Thierry Massart,
Michael Leuschel,
2007,
ATVA.
Dragan Bosnacki,
Anton Wijs,
D. Bosnacki,
2016,
International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2007,
IEEE Transactions on Software Engineering.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Dragan Bosnacki,
Gerard J. Holzmann,
G. Holzmann,
2005,
SPIN.
Dragan Bosnacki,
Anton Wijs,
Stefan Edelkamp,
2010,
International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki,
Viktor Schuppan,
Anton Wijs,
2009,
MoChArt.
Dragan Bosnacki,
D. Bosnacki,
2002,
FORTE.
Dragan Bošnački,
Leszek Holenderski,
Jpm Jeroen Voeten,
2001
.
Dragan Bosnacki,
Anton Wijs,
Jaco van de Pol,
2016,
ATVA.
Dragan Bosnacki,
Mark Scheffer,
D. Bosnacki,
2015,
NFM.
Dragan Bosnacki,
Stefan Edelkamp,
S. Edelkamp,
2010,
International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki,
Edith Elkind,
Doron A. Peled,
2007,
Annals of Mathematics and Artificial Intelligence.
Dragan Bosnacki,
Twan Basten,
Marc Geilen,
2004
.
Dragan Bosnacki,
Twan Basten,
T. Basten,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Dragan Bosnacki,
Anton Wijs,
D. Bosnacki,
2018,
International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki,
Anton Wijs,
Ruurd Kuiper,
2016,
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Dragan Bosnacki,
Natalia Sidorova,
Natalia Ioustinova,
2004,
SPIN.
Dragan Bosnacki,
Peter A. J. Hilbers,
Inge van den Berg,
2009,
2009 20th International Workshop on Database and Expert Systems Application.
Dragan Bosnacki,
Hans Zantema,
Stefan Wagemans,
2008,
BIRD.
Dragan Bosnacki,
D. Bosnacki,
2005,
FM.
Dragan Bosnacki,
D. Bosnacki,
2004,
CMSB.
Tac Tim Willemse,
S. Mauw,
D. Bosnacki,
1999
.
Dragan Bosnacki,
Leszek Holenderski,
Dennis Dams,
2001,
FME.
T. Basten,
D. Bosnacki,
M. Geilen,
2004,
International Conference on Automated Software Engineering.
Dragan Bosnacki,
Anton Wijs,
Thomas Neele,
2016,
FM.
D. Bosnacki,
1999,
SPIN.
Dragan Bošnački,
Dennis Dams,
D. Dams,
1999
.
D. Bosnacki,
Salome Kazeminia,
Max Joosten,
2024,
ArXiv.