|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse |
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Bas Ploeger |
Switching Graphs. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Bas Ploeger |
Switching Graphs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. van Dam, Bas Ploeger, Tim A. C. Willemse |
Instantiation for Parameterised Boolean Equation Systems. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Ploeger, Carst Tankink |
Improving an interactive visualization of transition systems. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
graph drawing, 3D visualization, transition systems, cone trees |
| 1 | Rob J. van Glabbeek, Bas Ploeger |
Correcting a Space-Efficient Simulation Algorithm. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Bas Ploeger |
Five Determinisation Algorithms. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Ploeger, Lou J. Somers |
Analysis and verification of an automatic document feeder. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
copier, mCRL, process algebra, document systems |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")