Verifying concurrent processes using temporal logic
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:1004/Similar |
|---|---|
| Glavni autor: | Hailpern, Brent T. (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin :
Springer Verlag,
1982.
|
| Izdanje: | 1. izd |
APA stil citiranja
Hailpern, B. T. (1982). Verifying concurrent processes using temporal logic: Verifying concurrent processes using temporal logic (1. izd.). Berlin: Springer Verlag.
Chicago stil citiranjaHailpern, Brent T. Verifying concurrent processes using temporal logic: Verifying concurrent processes using temporal logic. 1. izd. Berlin: Springer Verlag, 1982.
MLA stil citiranjaHailpern, Brent T. Verifying concurrent processes using temporal logic: Verifying concurrent processes using temporal logic. 1. izd. Berlin: Springer Verlag, 1982.