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
Amat, Nicolas
Koleksi Nasional
Menampilkan
1
-
1
of
1
untuk pencarian:
'Amat, Nicolas'
, lama mencari: 0.06s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Artifact for TACAS 2022 Paper: Property Directed Reachability for Generalized Petri Nets
info
software
Journal
oleh
Amat
,
Nicolas
,
Dal Zilio, Silvano
,
Hujsa, Thomas
Terbitan:
2022
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
Model checking
Petri nets
Reachability
SMT solving
×
Loading...
