MCLab Group List of Papers
Home
|
Show All
|
Simple Search
|
Advanced Search
Login
Quick Search:
Field:
main fields
author
title
publication
keywords
abstract
contains:
...
1–1 of 1 record found matching your query (
RSS
):
Search & Display Options
Search within Results:
Field:
author
title
year
keywords
abstract
type
publication
abbrev_journal
volume
issue
pages
thesis
publisher
place
editor
series_title
language
area
issn
isbn
notes
call_number
serial
contains:
...
Exclude matches
Display Options:
Field:
author
title
year
keywords
abstract
type
publication
abbrev_journal
volume
issue
pages
thesis
publisher
place
editor
series_title
language
area
issn
isbn
notes
call_number
serial
records per page
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Author
Title
Year
Publication
Publisher
ISSN
ISBN
DOI
Volume
Pages
Links
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
2013
Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)
Springer - Verlag
0302-9743
978-3-642-39175-0
10.1007/978-3-642-39176-7_4
43-60
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Home
Library Search
|
Show Record
|
Extract Citations
Help