Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza (2019)
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, 106
doi: 10.1016/j.jlamp.2019.03.003
Article, Bibliographie
| Item Type: | Article |
|---|---|
| Erschienen: | 2019 |
| Creators: | Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza |
| Type of entry: | Bibliographie |
| Title: | Modal transition system encoding of featured transition systems |
| Language: | English |
| Date: | 2019 |
| Publisher: | Elsevier |
| Journal or Publication Title: | Journal of Logical and Algebraic Methods in Programming |
| Volume of the journal: | 106 |
| DOI: | 10.1016/j.jlamp.2019.03.003 |
| URL / URN: | http://www.sciencedirect.com/science/article/pii/S2352220818... |
| Divisions: | 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Date Deposited: | 19 Apr 2019 09:11 |
| Last Modified: | 19 Apr 2019 09:11 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum