default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 139

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on 2 of 2 records

view refined list in

export refined list as

showing all 2 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 139, June 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BanachBQZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BanachBQZ17
Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu:
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. 1-35
- view
  authority control:
- export record
  dblp key:
  - journals/scp/FicheraMPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FicheraMPS17
Loris Fichera, Fabrizio Messina, Giuseppe Pappalardo, Corrado Santoro:
A Python framework for programming autonomous robots using a declarative approach. 36-55
no results

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.