Archive ouverte UNIGE
Français
Search
including full text
incl. restricted access masters
Advanced search
Browse by...
Personal names
Academic structures
(0)
Your selection
Latest additions
Deposit
Submit a document
Update a submission
Highlights
Generate a bibliography
Create an alert
My publisher's policy
Doctoral thesis
Restricted access masters
More informations
Manuals
Open Access & Copyright
UNIGE policies
Project history
Contacts
Home
Authors
Linard, Alban
Linard, Alban
Documents
Publications statistics
Export bibliography
Show
10
20
50
100
items per page
Elements: 3
Page 1 on 1
2011
Scientific Articles
unige:18361
High-Level Petri Net Model Checking with AlPiNA
Hostettler, Steve Patrick
;
Marechal Marin, Alexis Ayar
;
Linard, Alban
;
Risoldi, Matteo
;
Buchs, Didier
2010
Proceedings Chapters
unige:9825
Improving the significance of benchmarks for Petri nets model checkers
Hostettler, Steve Patrick
;
Linard, Alban
;
Marechal Marin, Alexis Ayar
;
Risoldi, Matteo
;
unige:9826
Specification of Decision Diagram Operations
Hamez, Alexandre;
Hostettler, Steve Patrick
;
Linard, Alban
;
Marechal Marin, Alexis Ayar
; ...
Risoldi, Matteo
add all
|
remove all
<< previous
| |
next >>