This work is licensed under a Creative Commons Attribution-Share Alike 2.0 France License.
| Title | One-pass Tableaux for Computation Tree Logic |
| Publication Type | Conference Proceedings |
| Year of Conference | 2007 |
| Authors | Abate P, Gore R |
| Conference Name | LPAR |
| Series Title | Lecture notes in computer science |
| Volume | 4790 |
| Conference Start Date | 2007 |
| Publisher | springer |
| URL | http://www.informatik.uni-trier.de/~ley/db/conf/lpar/lpar2007.html#AbateGW07 |
Recent comments
1 week 5 days ago
2 weeks 3 days ago
4 weeks 1 hour ago
7 weeks 2 days ago
15 weeks 11 hours ago
15 weeks 3 days ago
15 weeks 6 days ago
15 weeks 6 days ago
16 weeks 1 hour ago
16 weeks 1 hour ago