|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
242 | Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio |
Efficient CSPZ Data Abstraction. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction |
40 | Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio |
Compositional Abstraction of CSPZ Processes. |
J. Braz. Comput. Soc. |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Alexandre Mota 0001, Paulo Borba, Augusto Sampaio |
Mechanical Abstraction of CSPZ Processes. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|