Loading...
Please wait, while we are loading the content...
Similar Documents
Soft component automata: Composition, compilation, logic, and verification
| Content Provider | Scilit |
|---|---|
| Author | Kappé, Tobias Lion, Benjamin Arbab, Farhad Talcott, Carolyn |
| Copyright Year | 2019 |
| Description | Journal: Science of Computer Programming |
| Related Links | https://ir.cwi.nl/pub/28853/28853.pdf |
| ISSN | 01676423 |
| DOI | 10.1016/j.scico.2019.08.001 |
| Journal | Science of Computer Programming |
| Volume Number | 183 |
| Language | English |
| Publisher | Elsevier BV |
| Publisher Date | 2019-09-01 |
| Access Restriction | Open |
| Subject Keyword | Journal: Science of Computer Programming Hardware and Architecture |
| Content Type | Text |
| Resource Type | Article |
| Subject | Information Systems Computational Theory and Mathematics Modeling and Simulation Software |