Model checking for the concurrent constraint paradigm
Villanueva García Alicia
Forum
Udine, 2003; paperback, pp. 138.
(Phd Thesis Series).
series: Phd Thesis Series
ISBN: 88-8420-153-5 - EAN13: 9788884201539
Languages:
Weight: 0 kg
Konrad. Per quanto un'oca allunghi il collo non diventerà mai un cigno