|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 1 keywords
|
|
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
Models and temporal logical specifications for timed component connectors.  |
Softw. Syst. Model.  |
2007 |
DBLP DOI BibTeX RDF |
1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2 |
| 1 | Keshav Pingali, Kattamuri Ekanadham |
Accumulators: A New Logic Variable Abstractions for Functional Languages. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
CR Classification Numbers D.1.1, D.3.2, D.3.3, D.3.4, D.1.3 |
| 1 | Rob J. van Glabbeek, Frits W. Vaandrager |
Modular Specifications in Process Algebra with Curious Queues. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
1982 CR Categories C.2.2, D.1.3, D.2.1, D.2.2, F.1.1, F.1.2, F.3.2 |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license