Leszek Holenderski
发表
Leszek Holenderski,
2000,
FTRTFT.
Leszek Holenderski,
Reinhard Budde,
Axel Poigné,
1998,
Formal Methods Syst. Des..
Leszek Holenderski,
2001
.
Leszek Holenderski,
Axel Poigné,
1995
.
Leszek Holenderski,
Monika Müllerburg,
Agathe Merceron,
1995,
Software Quality Journal.
Andrzej Szalas,
Leszek Holenderski,
A. Szałas,
1988,
Theor. Comput. Sci..
Dragan Bošnački,
Leszek Holenderski,
Jpm Jeroen Voeten,
2001
.
Leszek Holenderski,
Axel Poigné,
1998,
Tool Support for System Specification, Development and Verification.
Leszek Holenderski,
Robert Van Herk,
2010
.
Dragan Bosnacki,
Natalia Sidorova,
Leszek Holenderski,
2000,
TACAS.
Leszek Holenderski,
Axel Poigné,
A. Poigné,
1997,
COMPOS.
Dragan Bosnacki,
Leszek Holenderski,
Dennis Dams,
2001,
FME.
Leszek Holenderski,
Axel Poigné,
1997,
FBT.
Andrzej Szalas,
Leszek Holenderski,
1988,
Inf. Process. Lett..
Leszek Holenderski,
1995
.
Dragan Bosnacki,
Leszek Holenderski,
Dennis Dams,
2002,
International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki,
Leszek Holenderski,
Dennis Dams,
2000,
SPIN.
Leszek Holenderski,
1984,
Inf. Process. Lett..
Mykola Pechenizkiy,
Natalia Sidorova,
Rafal Kocielnik,
2012,
IHI '12.
Leszek Holenderski,
2001,
SPIN '01.
Leszek Holenderski,
L. Holenderski,
1986,
Inf. Process. Lett..
Martin Saerbeck,
Leszek Holenderski,
2009,
2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns.
Leszek Holenderski,
Axel Poigné,
1998
.