Search for: [Abstract = "Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions."]
Number of results: 1
AMCS, volume 12 (2002)
Speck, Andreas Pulvermüller, Elke Jerger, Michael Franczyk, Bogdan Korbicz, Józef - red. Uciński, Dariusz - red.
2002
artykuł