Showing
1 - 6
results of
6
for search '
Jaco van de Pol
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Jaco van de Pol
Showing
1 - 6
results of
6
for search '
Jaco van de Pol
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Generating and Solving Symbolic Parity Games
by
Gijs Kant
,
Jaco
van
de
Pol
Published 2014-07-01
Get full text
Article
2
Distributed Branching Bisimulation Minimization by Inductive Signatures
by
Stefan Blom
,
Jaco
van
de
Pol
Published 2009-12-01
Get full text
Article
3
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
by
Gijs Kant
,
Jaco
van
de
Pol
Published 2012-10-01
Get full text
Article
4
Variations on Multi-Core Nested Depth-First Search
by
Alfons Laarman
,
Jaco
van
de
Pol
Published 2011-10-01
Get full text
Article
5
Modeling and Verification of the Bitcoin Protocol
by
Kaylash Chaudhary
,
Ansgar Fehnker
,
Jaco
van
de
Pol
,
Marielle Stoelinga
Published 2015-11-01
Get full text
Article
6
Setting Parameters for Biological Models With ANIMO
by
Stefano Schivo
,
Jetse Scholma
,
Marcel Karperien
,
Janine N. Post
,
Jaco
van
de
Pol
,
Rom Langerak
Published 2014-03-01
Get full text
Article
Search Tools:
Get RSS Feed
—
Email this Search
Loading...