Checking amalgamability conditions for CASL architectural specifications

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiChecking amalgamability conditions for CASL architectural specifications
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
Zeszyt2136
Rok wydania2001
Od strony451
Do strony463
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2001

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]