Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Pengarang
Lienhardt, Michael
Koleksi Nasional
Menampilkan
1
-
4
of
4
untuk pencarian:
'Lienhardt, Michael'
, lama mencari: 0.11s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Supplementary material for: "Static Analysis of Featured Transition Systems"
info
software
Journal
oleh
ter Beek, Maurice
,
Damiani, Ferruccio
,
Lienhardt
,
Michael
,
Mazzanti, Franco
,
Paolini, Luca
Terbitan:
2019
Available online:
Get online
Favorit
Tersimpan di:
Supplementary material for: "Static Analysis of Featured Transition Systems" SPLC 2019
info
software
oleh
ter Beek, Maurice
,
Damiani, Ferruccio
,
Lienhardt
,
Michael
,
Mazzanti, Franco
,
Paolini, Luca
Terbitan:
2019
Available online:
Get online
Favorit
Tersimpan di:
Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of th...
info
software
oleh
ter Beek, Maurice
,
Damiani, Ferruccio
,
Lienhardt
,
Michael
,
Mazzanti, Franco
,
Paolini, Luca
Terbitan:
2019
Available online:
Get online
Favorit
Tersimpan di:
Supplementary material for: "Static Analysis of Featured Transition Systems" SPLC 2019
info
software
oleh
ter Beek, Maurice
,
Damiani, Ferruccio
,
Lienhardt
,
Michael
,
Mazzanti, Franco
,
Paolini, Luca
Terbitan:
2019
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
FTS
Featured Transition System
static analysis
×
Loading...
