Concurrent Bug Finding Based on Bounded Model Checking

Vujošević Janičić, Milena

Резултати

еНаука > Резултати > Concurrent Bug Finding Based on Bounded Model Checking

Назив:	Concurrent Bug Finding Based on Bounded Model Checking
Аутори:	Vujošević Janičić, Milena
Година:	2020
Публикација:	International Journal of Software Engineering and Knowledge Engineering
ISSN:	0218-1940 International Journal of Software Engineering and Knowledge Engineering Претражи идентификатор
Тип резултата:	Научни чланак
Колација:	vol. 30 br. 05 str. 669-694
DOI:	10.1142/s0218194020500242
WoS-ID:	000543804900004
Scopus-ID:	2-s2.0-85087326651
URI:	https://enauka.gov.rs/handle/123456789/536689
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	23M23 - Рад у међ. часопису

1
SCOPUS^TM

1
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.