Items by "Pirkelbauer, Peter"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Dechev, Damian and Rouquette, Nicolas and Pirkelbauer, Peter and Stroustrup, Bjarne (2010) Verification and Semantic Parallelization of Goal-driven Autonomous Software. In: 2nd International ICST Conference on Autonomic Computing and Communication Systems.

This list was generated on Mon May 4 17:15:55 2026 UTC.