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
Number of items: 2.

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 Wed Dec 18 10:24:25 2024 CET.