Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 83

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 83, April 2014

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ArbabO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArbabO14
Farhad Arbab, Peter Csaba Ölveczky:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Meseguer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Meseguer14
José Meseguer:
Taming distributed system complexity through formal patterns. 3-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SabouriK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SabouriK14
Hamideh Sabouri, Ramtin Khosravi:
Reducing the verification cost of evolving product families using static analysis techniques. 35-55
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AminofMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AminofMM14
Benjamin Aminof, Fabio Mogavero, Aniello Murano:
Synthesis of hierarchical systems. 56-79
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RamliNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RamliNN14
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The logic of XACML. 80-105
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BauerLLNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BauerLLNW14
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A modal specification theory for components with data. 106-128

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.