Murano, Aniello
(2007)
Pushdown Module Checking with Imperfect Information.
In: Proceeding of the 18th International Conference on Concurrency Theory, September 3-8, 2007., Lisbon - Portugal.
Full text not available from this repository.
| Item Type: |
Conference or Workshop Item
(UNSPECIFIED)
|
| Lingua: |
English |
| Title: |
Pushdown Module Checking with Imperfect Information |
| Creators: |
| Creators | Email |
|---|
| Murano, Aniello | UNSPECIFIED |
|
| Autore/i: |
AMINOF B; A. MURANO; VARDI M.Y |
| Date: |
2007 |
| Number of Pages: |
0 |
| Department: |
Scienze fisiche |
| Event Title: |
Proceeding of the 18th International Conference on Concurrency Theory |
| Event Location: |
Lisbon - Portugal |
| Event Dates: |
September 3-8, 2007. |
| Title of Book: |
18th International Conference on Concurrency Theory (CONCUR'07). |
| Publisher: |
Springer-Verlag |
| Date: |
2007 |
| ISBN: |
978-3-540-74406-1 |
| Volume: |
4703 of LNCS |
| Page Range: |
pp. 460-475 |
| Number of Pages: |
0 |
[error in script]
[error in script]
| Date Deposited: |
18 Oct 2010 08:15 |
| Last Modified: |
30 Apr 2014 19:41 |
| URI: |
http://www.fedoa.unina.it/id/eprint/5661 |
Downloads per month over past year
Actions (login required)
 |
View Item |
