Programming Languages and Systems
From MaRDI portal
Publication:5493394
DOI10.1007/11575467zbMath1159.68379MaRDI QIDQ5493394
Fernando Magno Quintão Pereira, Jens Palsberg
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (4)
An efficient customized clock allocation algorithm for a class of timed automata ⋮ Approximate minimum sum colorings and maximum \(k\)-colorable subgraphs of chordal graphs ⋮ Approximating maximum weight \(K\)-colorable subgraphs in chordal graphs ⋮ Unnamed Item
Uses Software
This page was built for publication: Programming Languages and Systems
