부산대학교 도서관

교내접속OFF
영문 바로가기
Home
통합검색
학술논문

학술논문

replay검색결과 돌아가기
search검색화면
Three-valued abstraction for stochastic systems
Document Type
Text
Author
Klink, Daniel
Source
Subject
Computer Science
Abstraction, Model Checking, Markov chain with continuous time, Distributed system, interval probability, priority queue, System biology, Erlang distribution
Informatik
Abstraktion, Model Checking, Markov-Kette mit stetiger Zeit, Verteiltes System, Intervallwahrscheinlichkeit, Prioritätswarteschlange, Systembiologie, Erlang-Verteilung
Language
English
Abstract
1. Aufl.
1st ed.

Online Access

Open Access (Europeana) Find it@PNU

메일 발송

이메일

폴더 추가