|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Yingxu Wang |
Real-Time Process Algebra and Its Applications.  |
10th Anniversary Colloquium of UNU/IIST  |
2002 |
DBLP DOI BibTeX RDF |
descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification |
| 1 | Xin Wang, Joe Kanapka, Wenjing Ye, Narayan R. Aluru, Jacob White |
Algorithms in FastStokes and Its Application to Micromachined Device Simulation.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|