Skip to main content
ETH Zurich
ETH Library
Research Collection
Help
English
English
Deutsch
Research Collection
search
Search
search
lock
Login
Statistics
Browse
Home
The Journal of Logic and Algebraic Programming
Journal:
The Journal of Logic and Algebraic Programming
Loading...
Abbreviation
Publisher
Elsevier
Journal Volumes
ISSN
1567-8326
Description
Show all metadata
Publications
Research Data
2 results
Back to results
Filters
Author / Producer
1
Dashti, M. Torabi
1
Hvitved, Tom
1
Klaedtke, Felix
1
Wijs, A.J.
1
Zălinescu, Eugen
Search author name
Submit
Publication Type
2
Journal Article
Search publication type
Submit
Date
Start
End
Submit
2012
2
Availability
1
Metadata only
1
Open access
Search Available
Submit
ETH Publication
2
yes
Search ETH Publication
Submit
Reset filters
search
Search
Search Tools
Search Results
Publications
1 - 2 of 2
keyboard_arrow_down
10 Results Per Page
check
1
check
5
check
10
check
20
check
40
check
60
check
80
check
100
keyboard_arrow_down
Descending
check
Ascending
check
Descending
Loading...
Extended beam search for non-exhaustive state space analysis
Item type:
Journal Article
Wijs, A.J.
;
Dashti, M. Torabi
(
2012
)
Show more
The Journal of Logic and Algebraic Programming
Loading...
A trace-based model for multiparty contracts
Item type:
Journal Article
Hvitved, Tom
;
Klaedtke, Felix
;
Zălinescu, Eugen
(
2012
)
Show more
The Journal of Logic and Algebraic Programming
Publications
1 - 2 of 2
Show statistical information
