Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for muCRL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2007 (2) 2008 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
Erlang Workshop(1) FMICS(1) Formal Methods Syst. Des.(1) IPDPS(1)
Authors
Jaco van de Pol(2) Miguel Valero Espada(2) Jan Friso Groote(1) John Derrick(1) Michel A. Reniers(1) Qiang Guo 0001(1) Yaroslav S. Usenko(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
66Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko Verification of networks of timed automata using mCRL2. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Qiang Guo 0001, John Derrick Verification of timed Erlang/OTP components using the process algebra mucrl. Search on Bibsonomy Erlang Workshop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OTP, process algebra ?CRL, timeout events, verification, erlang
42Jaco van de Pol, Miguel Valero Espada An Abstract Interpretation Toolkit for muCRL. Search on Bibsonomy FMICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Miguel Valero Espada, Jaco van de Pol An abstract interpretation toolkit for µCRL. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF muCRL, Model checking, Abstract interpretation, Process algebra
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license