Home
Research Trends
Papers list
Open Access Journals
All Journals
Search in Journals
Contact us
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
Article Properties
Language
English
DOI (url)
10.1007/s00236-016-0259-0
Publication Date
2016/02/11
Journal
Acta Informatica
Indian UGC (journal)
Bernd
Finkbeiner
Cesar
Sanchez
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Science (General)
Cybernetics
Information theory
Technology
Electrical engineering
Electronics
Nuclear engineering
Telecommunication
Technology
Technology (General)
Industrial engineering
Management engineering
Information technology
You May Also Like
A New Approach to Abstract Syntax with Variable Binding
Soundness of workflow nets: classification, decidability, and analysis
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
Uppaal in a nutshell
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems