Directed explicit state space search in the generation of counterexamples for stochastic model checking | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Directed explicit state space search in the generation of counterexamples for stochastic model checking

Aljazzar, Husain - Nama Orang; Leue, Stefan - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Barcode		Tipe Koleksi	Nomor Panggil	Lokasi	Status
art52475	null	Artikel		Gdg9-Lt3	Tersedia namun tidak untuk dipinjamkan - No Loan

Informasi Detail

Judul Seri: IEEE Transactions on Software Engineering;Vol.36 No.1 January/February 2010
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.37-60
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: -
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Husain Aljazzar, Stefan Leue

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar