Checking amalgamability conditions for CASL architectural specifications
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Checking amalgamability conditions for CASL architectural specifications
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
Zeszyt
2136
Rok wydania
2001
Od strony
451
Do strony
463
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2001
Lista autorów
1.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
Piotr Hoffman
,
Zakład Logiki Stosowanej
[
Współautor
]
3.
B. Klin,
Jednostka zewnetrzna
[
Współautor
]
4.
A. Schroeder,
Jednostka zewnetrzna
[
Współautor
]
5.
T. Mossakowski,
Jednostka zewnetrzna
[
Współautor
]