PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 89, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2008
Identyfikatory
Zawartość wolumenu
Vol. 89, nr 4
artykuł:
Slicing Abstractions
(
Brückner I.
,
Dräger K.
,
Finkbeiner B.
,
Wehrheim H.
), s. 369-392
artykuł:
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
(
Dashti M.T.
,
Nair S.K.
,
Jonker H.
), s. 393-417
artykuł:
Universality Analysis for One-Clock Timed Automata
(
Abdulla P.A.
,
Deneux J.
,
Ouaknine J.
,
Quaas K.
,
Worrell J.
), s. 419-450
artykuł:
A Foundational Theory of Contracts for Multi-party Service Composition
(
Bravetti M.
,
Zavattaro G.
), s. 451-478
artykuł:
On the Use of Behavioural Equivalences for Web Services' Development
(
Bonchi F.
,
Brogi A.
,
Corfini S.
,
Gadducci F.
), s. 479-510
artykuł:
Logic-based Conflict Detection for Distributed Policies
(
Montangero C.
,
Reiff-Marganiec S.
,
Semini L.
), s. 511-538
artykuł:
A Logical Reasoning Approach to Automatic Composition of Stateless Components
(
Hashemian S.V.
,
Mavaddat F.
), s. 539-577
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.