Logo eprints

Items where Author is "Bosnacki, Dragan"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Bo | Le | Ll
Number of items: 6.

Bo

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

Le

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

Ll

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

This list was generated on Sat Sep 18 00:39:16 2021 CEST.